XML 48 R93.htm IDEA: XBRL DOCUMENT
v3.19.3.a.u2

Leases - Estimated Rental Revenue Expected to be Recognized in the Future (Details) $ in Millions | Dec. 31, 2019 USD ($)
--- | ---
Leases [Abstract] |
2020 | $ 80
2021 | 75
2022 | 52
Total | $ 207

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

X
- Definition Amount of lease payments to be received by lessor for operating lease. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 12 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919396-209981 + Details
Name: | us-gaap_LessorOperatingLeasePaymentsToBeReceived
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of lease payments to be received by lessor in next fiscal year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 12 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919396-209981 + Details
Name: | us-gaap_LessorOperatingLeasePaymentsToBeReceivedNextTwelveMonths
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of lease payments to be received by lessor in third fiscal year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 12 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919396-209981 + Details
Name: | us-gaap_LessorOperatingLeasePaymentsToBeReceivedThreeYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Amount of lease payments to be received by lessor in second fiscal year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Publisher FASB -Name Accounting Standards Codification -Topic 842 -SubTopic 30 -Section 50 -Paragraph 12 -URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919396-209981 + Details
Name: | us-gaap_LessorOperatingLeasePaymentsToBeReceivedTwoYears
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant