Marketable Investment Securities, Restricted Cash and Cash Equivalents, and Other Investment Securities - Changes in Level 3 Instruments (Details)	Jun. 30, 2018 USD ($)
Fair values transfers between Level 1 and Level 2
Fair value assets transfer from level 1 to level 2	$ 0
Fair value liabilities transfer from level 1 to level 2	0
Fair value assets transfer from level 2 to level 1	0
Fair value liabilities transfer from level 2 to level 1	$ 0

Amount of transfers of assets measured on a recurring basis out of Level 1 of the fair value hierarchy into Level 2.

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

+ Details

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

- Definition

Amount of transfers of assets measured on a recurring basis out of Level 2 of the fair value hierarchy into Level 1.

+ References

+ Details

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

- Definition

Amount of transfers of liabilities measured on a recurring basis out of Level 1 of the fair value hierarchy into Level 2.

+ References

+ Details

Name:	us-gaap_FairValueLiabilitiesLevel1ToLevel2TransfersAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount of transfers of liabilities measured on a recurring basis out of Level 2 of the fair value hierarchy into Level 1.

+ References

+ Details

Name:	us-gaap_FairValueLiabilitiesLevel2ToLevel1TransfersAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- References

No definition available.

+ Details

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