Commitments and Contingencies - Narrative (Details) - USD ($)	1 Months Ended	3 Months Ended	6 Months Ended
Mar. 31, 2020	Jun. 30, 2020	Mar. 31, 2020	Jun. 30, 2019	Jun. 30, 2020	Jun. 30, 2019	Dec. 31, 2019
Commitments and Contingencies Disclosure [Abstract]
Settlement proceeds	$ 1,800,000		$ 22,800,000
Throughput obligation		$ 0			$ 0		$ 0
Coal royalty expense		$ 13,600,000		$ 29,300,000	$ 27,800,000	$ 56,000,000.0

No definition available.

Name:	us-gaap_CommitmentsAndContingenciesDisclosureAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount awarded from other party in judgment or settlement of litigation.

+ References

No definition available.

+ Details

Name:	us-gaap_LitigationSettlementAmountAwardedFromOtherParty
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of the recorded obligation to transfer funds in the future for fixed or minimum amounts or quantities of goods or services at fixed or minimum prices (for example, as in take-or-pay contracts or throughput contracts).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 440
-SubTopic 10
-Section 50
-Paragraph 6
-URI http://asc.fasb.org/extlink&oid=121559207&loc=d3e25383-109308

+ Details

Name:	us-gaap_RecordedUnconditionalPurchaseObligation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of expense related to royalty payments under a contractual arrangement such as payment for mineral and drilling rights and use of technology or intellectual property.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.3)
-URI http://asc.fasb.org/extlink&oid=120395209&loc=SL114868664-224227

+ Details

Name:	us-gaap_RoyaltyExpense
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration