Fair Value (Fair Value Measurements Using Significant Unobservable Inputs for Equity Index Put Option Contracts) (Details) - USD ($) $ in Thousands	3 Months Ended	6 Months Ended
Jun. 30, 2019	Jun. 30, 2018	Jun. 30, 2019	Jun. 30, 2018
Fair Value [Abstract]
Beginning Balance	$ 1,767,963	$ 1,770,684	$ 1,717,336	$ 1,807,473
Total gains or (losses) (realized/unrealized) Included in earnings	125,025	(65,647)	175,652	(102,436)
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,892,988	1,705,037	1,892,988	1,705,037
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 in income from liability measured at fair value on recurring basis using unobservable input (level 3).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)
-URI http://asc.fasb.org/extlink&oid=117815213&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 (OCI) from liability measured at fair value on recurring basis using unobservable input (level 3).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1a)
-URI http://asc.fasb.org/extlink&oid=117815213&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://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)
-URI http://asc.fasb.org/extlink&oid=117815213&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://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(2)
-URI http://asc.fasb.org/extlink&oid=117815213&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

+ Details

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