“An estimated 50,000 coal miners were killed by collapsing mine roofs in the 20th century.”