How the world’s largest coal mine recovered after impact from a massive tornado