Secretary of Labor v. The American Coal Company and United Mine Workers of America and United Steel, Paper, and Forestry, Rubber Manufacturing, Energy, Allied Industrial and Service Workers International Union