XML 67 R54.htm IDEA: XBRL DOCUMENT v3.8.0.1
Discontinued Operations - Patriot Related Matters (Details) - Spinoff - Patriot - USD ($)
$ in Millions
Jan. 25, 2017
Mar. 31, 2018
Dec. 31, 2007
Black Lung Occupational Disease Liability      
Income Statement, Balance Sheet and Additional Disclosures by Disposal Groups, Including Discontinued Operations [Line Items]      
Initially Determined Potential Exposure from Patriot Bankruptcy     $ 150.0
Potential Exposure from Patriot Bankruptcy   $ 134.9  
UMWA 1974 Pension Plan (UMWA Plan) Litigation      
Income Statement, Balance Sheet and Additional Disclosures by Disposal Groups, Including Discontinued Operations [Line Items]      
Settlement of claim, amount awarded to other party $ 75.0    
Litigation settlement, liability   $ 47.4