Secretary of Labor v. Big Ridge, Inc. (amended)