XML 71 R57.htm IDEA: XBRL DOCUMENT
v3.19.2

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

X
- References No definition available. + Details
Name: | us-gaap_CommitmentsAndContingenciesDisclosureAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- 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

X
- 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

X
- 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

X
- 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

X
- 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

X
- 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

X
- 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