Fair Value (Fair Value Measurements Using Significant Unobservable Inputs for Equity Index Put Option Contracts) (Details) - USD ($) $ in Thousands	12 Months Ended
Dec. 31, 2017	Dec. 31, 2016
Fair Value [Abstract]
Beginning Balance	$ 1,766,626	$ 1,773,214
Total gains or (losses) (realized/unrealized) Included in earnings	40,846	(6,588)
Total gains or (losses) (realized/unrealized) Included in other comprehensive income (loss)
Purchases, issuances and settlements
Transfers in and/or (out) of Level 3
Ending Balance	1,807,473	1,766,626
The amount of total gains or losses for the period included in earnings (or changes in net assets) attributable to the change in unrealized gains or losses relating to assets still held at the reporting date

No definition available.

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

- Definition

Amount of gain (loss) recognized on the income statement for financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

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

- Definition

Amount of gain (loss) recognized in other comprehensive income (loss) for financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1a)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

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

- Definition

Amount of increase (decrease) of financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisLiabilityPeriodIncreaseDecrease
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of purchases, (sales), issuances and (settlements) of financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(2)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

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

- Definition

Amount of transfers of financial instrument classified as a liability into (out of) level 3 of the fair value hierarchy.

+ References

No definition available.

+ Details

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

- Definition

Fair value of financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=66048111&loc=d3e19207-110258

+ Details

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