Leases (Tables)

12 Months Ended

Dec. 31, 2012

Leases [Abstract]

Future minimum lease and royalty payments

	Capital Leases		Operating Leases		Coal Lease and Royalty Obligations
Year Ending December 31,
	(Dollars in millions)
2013	$	42.2	$	145.1	$	282.2
2014	26.6		130.5		280.4
2015	11.2		115.1		278.0
2016	11.1		102.3		252.6
2017	10.9		81.6		4.6
2018 and thereafter	23.4		102.9		28.3
Total minimum lease payments	125.4		$	677.5	$	1,126.1
Less interest	20.8
Present value of minimum capital lease payments	$	104.6