Secretary of Labor obo Juan Smitherman v. Warrior Met Coal Mining, LLC