Leases - Supplemental lease cash flow information (Details) - USD ($) $ in Millions	12 Months Ended
Dec. 31, 2019	Dec. 31, 2018
Cash paid for amounts included in the measurement of lease liabilities:
Operating cash flows from operating leases	$ 30
Gain on sale-leaseback	(136)	$ (33)
Right-of-use assets obtained in exchange for lease obligations:
Operating leases	$ 72

No definition available.

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

- References

No definition available.

+ Details

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

- Definition

Amount of cash outflow from operating lease, excluding payments to bring another asset to condition and location necessary for its intended use.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 45
-Paragraph 5
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=77888419&loc=SL77918643-209977

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (g)(1)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918686-209980

+ Details

Name:	us-gaap_OperatingLeasePayments
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of increase in right-of-use asset obtained in exchange for operating lease liability.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI http://asc.fasb.org/extlink&oid=77888399&loc=SL77918982-209971

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (g)(2)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918686-209980

+ Details

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

- Definition

Amount of gain (loss) on sale and leaseback transaction from transfer of asset accounted for as sale.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 40
-Section 50
-Paragraph 2
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=77888430&loc=SL77919786-209982

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 55
-Paragraph 53
-URI http://asc.fasb.org/extlink&oid=77888399&loc=SL77918982-209971

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (f)
-URI http://asc.fasb.org/extlink&oid=77888426&loc=SL77918686-209980

+ Details

Name:	us-gaap_SaleAndLeasebackTransactionGainLossNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration