Coal mining in Appalachia and hardrock mining in Idaho