The price of coal can be measured in the damage it caused miners