Secretary of Labor obo Richard B. Harrison v. Marion County Coal Company, and its successors