Leases Schedule of Future Future Rental Payments Receivable for Operating Leases (Details) $ in Millions	Jun. 30, 2019 USD ($)
Leases [Abstract]
2019	$ 90
2020	178
2021	169
2022	166
2023	161
2024 and thereafter	1,264
Total minimum future rentals	$ 2,028

No definition available.

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

- Definition

Future minimum rental payments in aggregate as of the balance sheet date under operating leases.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 840
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=84164653&loc=d3e41551-112718

+ Details

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

- Definition

Future rental payments receivable within one year of the balance sheet date under an operating lease.

+ References

+ Details

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

- Definition

Future rental payments receivable within the fifth year from the balance sheet date under an operating lease.

+ References

+ Details

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

- Definition

Future rental payments receivable within the fourth year from the balance sheet date under an operating lease.

+ References

+ Details

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

- Definition

Future rental payments receivable within the third year from the balance sheet date under an operating lease.

+ References

+ Details

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

- Definition

Future rental payments receivable within the second year from the balance sheet date under an operating lease.

+ References

+ Details

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

- Definition

Future minimum lease payments receivable under operating leases for periods greater than five years following the balance sheet date.

+ References

+ Details

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