Leases - Lease Payments to be Received (Details) $ in Millions	Sep. 30, 2019 USD ($)
Leases [Abstract]
2019	$ 2
2020	6
2021	6
2022	6
2023	6
Thereafter	67
Total undiscounted cash flows	93
Thereafter	$ 1

No definition available.

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

- Definition

Amount of lessee's undiscounted obligation for lease payments for operating lease, due after fifth fiscal year following latest fiscal year.

+ References

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

+ Details

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

- 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

- Definition

Amount of lease payments to be received by lessor in fifth fiscal year following latest fiscal year for operating lease. Excludes interim and annual periods when interim periods are reported on a rolling approach, from latest statement of financial position date.

+ References

+ Details

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedFiveYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of lease payments to be received by lessor in fourth 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

+ Details

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedFourYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of lease payments to be received by lessor in remainder of 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/2009/role/commonPracticeRef
-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_LessorOperatingLeasePaymentsToBeReceivedRemainderOfFiscalYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of lease payments to be received by lessor after fifth fiscal year following latest statement of financial position date for operating lease. Excludes interim and annual periods when interim periods are reported on rolling approach, from latest statement of financial position date.

+ References

+ Details

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedThereafter
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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

+ Details

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedThreeYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- 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

+ Details

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedTwoYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant