Consolidated Statements of Comprehensive Income (Unaudited) (Parentheticals) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Sep. 30, 2018	Sep. 30, 2017	Sep. 30, 2018	Sep. 30, 2017
Statement of Comprehensive Income [Abstract]
Tax effect on benefit obligation	$ 0	$ 2	$ 2	$ 6
Tax effect on net unrealized gains on investments during the period	0	0	0	1
Tax effect on net unrealized gains on derivatives during the period	$ 0	$ 0	$ 0	$ 0

Amount, after reclassification adjustment, of tax (expense) benefit for (increase) decrease in accumulated other comprehensive income of defined benefit plan.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 12
-URI http://asc.fasb.org/extlink&oid=114867106&loc=d3e640-108580

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 10A
-Subparagraph (i-k)
-URI http://asc.fasb.org/extlink&oid=114867106&loc=SL7669646-108580

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 810
-SubTopic 10
-Section 45
-Paragraph 19
-URI http://asc.fasb.org/extlink&oid=108774443&loc=SL4569616-111683

+ Details

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

- Definition

Amount of tax expense (benefit), before reclassification adjustments, related to increase (decrease) in accumulated gain (loss) from derivative instruments designated and qualifying as the effective portion of cash flow hedges and an entity's share of an equity investee's increase (decrease) in deferred hedging gain (loss).

+ References

+ Details

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

- Definition

Amount of tax expense (benefit) before reclassification adjustments of unrealized holding gain (loss) on available-for-sale securities.

+ References

+ Details

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

- References

No definition available.

+ Details

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