It doesn't sound like they did much of anything. I'm pretty confident that they weren't mining any coal.
We don't think they made it to the (coal) face.