Leases (Future Rental Revenues under Operating Leases) (Details) $ in Millions	Dec. 31, 2018 USD ($)
Leases [Abstract]
2019	$ 66
2020	66
2021	64
2022	20
2023	20
2024 and thereafter	196
Total minimum future rental revenues under non-cancelable operating leases	$ 432

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/legacyRef
-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 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

Amount of required minimum rental payments receivable in the remainder of the fiscal year following the latest fiscal year ended for operating leases having an initial or remaining non-cancelable letter-terms in excess of one year.

+ References

No definition available.

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsReceivableRemainderOfFiscalYear
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