XML 51 R40.htm IDEA: XBRL DOCUMENT v3.20.2
4. Restricted Marketable Securities (Details) - Restricted Marketable Securities - USD ($)
$ in Thousands
6 Months Ended
Jun. 30, 2020
Jun. 30, 2019
Dec. 31, 2019
Debt Securities, Available-for-sale [Line Items]      
Restricted marketable securities $ 253,236   $ 223,785
Restricted cash - noncurrent $ 43,805   80,072
Product minimum service life 25 years    
Gains on sales of marketable securities and restricted marketable securities $ 15,337 $ 15,016  
Cash Held In Trust [Member]      
Debt Securities, Available-for-sale [Line Items]      
Restricted cash - noncurrent 700   100
Restricted Debt Securities [Member]      
Debt Securities, Available-for-sale [Line Items]      
Restricted marketable securities 253,236   223,785
Proceeds from sale of restricted marketable securities 115,200 47,900  
Gains on sales of marketable securities and restricted marketable securities 15,100 15,000  
Payments to Acquire Restricted Marketable Securities 114,500    
Proceeds from sale of restricted marketable securities withdrawn from custodial accounts   $ 14,900  
Restricted Debt Securities [Member] | Foreign government obligations [Member]      
Debt Securities, Available-for-sale [Line Items]      
Restricted marketable securities 132,883   126,066
Restricted Debt Securities [Member] | US Government Debt Securities [Member]      
Debt Securities, Available-for-sale [Line Items]      
Restricted marketable securities $ 120,353   $ 97,719