Summary of Significant Accounting Policies - Revenues (Details) - USD ($) $ in Millions	12 Months Ended
Dec. 31, 2017	Dec. 31, 2016
Accounting Policies [Abstract]
Revenue deferral period (months)	12 months
Unbilled contracts receivable	$ 58	$ 21
Billings in excess of earned revenue	$ 87	$ 2

Liability attributable to (i) billings in excess of costs under the percentage of completion contract accounting method representing the difference between contractually invoiced amounts (billings) and revenue recognized based, for example, on costs incurred to estimated total costs at period end or (ii) contractually invoiced amounts (billings) in excess of costs incurred and accumulated under the completed contract accounting method.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 605
-SubTopic 35
-Section 45
-Paragraph 5
-URI http://asc.fasb.org/extlink&oid=68068069&loc=d3e57807-111642

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 605
-SubTopic 35
-Section 45
-Paragraph 3
-URI http://asc.fasb.org/extlink&oid=68068069&loc=d3e57788-111642

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 605
-SubTopic 35
-Section 45
-Paragraph 4
-URI http://asc.fasb.org/extlink&oid=68068069&loc=d3e57795-111642

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