XML 72 R58.htm IDEA: XBRL DOCUMENT v3.20.2
Marketable Securities and Held-to-Maturity Debt Securities - Held-to-Maturity Debt Securities (Details) - USD ($)
Jun. 30, 2020
Dec. 31, 2019
Held-to-Maturity Debt Securities    
Held-to-maturity debt security $ 0  
Third lien senior secured notes subject to in-substance    
Held-to-Maturity Debt Securities    
Held-to-maturity debt security   $ 500,000,000