Geographic Information and Business Segments (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Sep. 30, 2017	Sep. 30, 2016	Sep. 30, 2017	Sep. 30, 2016
Total revenues by geographic area
Revenues	$ 271,286	$ 164,806	$ 563,461	$ 531,625
United States
Total revenues by geographic area
Revenues	218,042	109,324	399,361	341,458
Ireland
Total revenues by geographic area
Revenues	17,874	31,936	79,129	112,481
United Kingdom
Total revenues by geographic area
Revenues	10,485		10,485
Sweden
Total revenues by geographic area
Revenues	2,118		2,118
Singapore
Total revenues by geographic area
Revenues	22,601	23,505	72,210	77,363
India
Total revenues by geographic area
Revenues	178		178
Australia
Total revenues by geographic area
Revenues	(2)	1	1	7
China
Total revenues by geographic area
Revenues	$ (10)	$ 40	$ (21)	$ 316