Secretary of Labor v. Big Ridge, Inc., Docket Nos. LAKE 2009-377, et al.