Consolidated Statements of Comprehensive Income (Unaudited) (Parentheticals) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jun. 30, 2017	Jun. 30, 2016	Jun. 30, 2017	Jun. 30, 2016
Statement of Comprehensive Income [Abstract]
Tax effect on benefit obligation	$ 2	$ (1)	$ 4	$ 1
Tax effect on net unrealized gains on investments 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://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 12
-URI http://asc.fasb.org/extlink&oid=84228862&loc=d3e640-108580

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 810
-SubTopic 10
-Section 45
-Paragraph 19
-URI http://asc.fasb.org/extlink&oid=96868048&loc=SL4569616-111683

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 10A
-Subparagraph (i-k)
-URI http://asc.fasb.org/extlink&oid=84228862&loc=SL7669646-108580

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