Commitments and Contingencies - Summary of the Expected Future Payments Through the End of the Terms of CPAs (Details) $ in Billions	Jun. 30, 2019 USD ($)
Commitments and Contingencies Disclosure [Abstract]
Last six months of 2019	$ 1.1
2020	2.1
2021	2.1
2022	1.7
2023	1.1
After 2023	4.4
Total	$ 12.5

No definition available.

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

- Definition

Amount of contractual obligation, including but not limited to, long-term debt, capital lease obligations, operating lease obligations, purchase obligations, and other commitments.

+ References

No definition available.

+ Details

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

- Definition

Amount of contractual obligation due after the fifth fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

No definition available.

+ Details

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

- Definition

Amount of contractual obligation due in the fifth fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

No definition available.

+ Details

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

- Definition

Amount of contractual obligation due in the fourth fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

No definition available.

+ Details

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

- Definition

Amount of contractual obligation due in the second fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

No definition available.

+ Details

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

- Definition

Amount of contractual obligation due in the third fiscal year following the latest fiscal year. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest balance sheet date.

+ References

No definition available.

+ Details

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

- Definition

Amount of contractual obligation maturing in the remainder of the fiscal year following the latest fiscal year ended.

+ References

No definition available.

+ Details

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