Leases (Lease Income Associated with Operating Leases) (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2019	Jun. 30, 2019
Leases [Abstract]
Fixed payments	$ 17	$ 34
Variable payments	25	52
Total lease income under operating leases	$ 42	$ 86

No definition available.

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

- Definition

Amount of operating lease income from lease payments and variable lease payments paid and payable to lessor. Includes, but is not limited to, variable lease payments not included in measurement of lease receivable.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 5
-URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919372-209981

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 45
-Paragraph 3
-URI http://asc.fasb.org/extlink&oid=77888421&loc=SL77919311-209978

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 270
-SubTopic 10
-Section 50
-Paragraph 6A
-URI http://asc.fasb.org/extlink&oid=118952077&loc=SL77927221-108306

+ Details

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

- Definition

Amount of operating lease income from lease payments paid and payable to lessor. Excludes variable lease payments not included in measurement of lease receivable.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 270
-SubTopic 10
-Section 50
-Paragraph 6A
-URI http://asc.fasb.org/extlink&oid=118952077&loc=SL77927221-108306

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 5
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919372-209981

+ Details

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

- Definition

Amount of operating lease income from variable lease payments paid and payable to lessor, excluding amount included in measurement of lease receivable.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 270
-SubTopic 10
-Section 50
-Paragraph 6A
-URI http://asc.fasb.org/extlink&oid=118952077&loc=SL77927221-108306

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 5
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=119202524&loc=SL77919372-209981

+ Details

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