These enviros should read a good history of the region,
miners don’t mess around.
bttt
good!
That’s what I was thinking.
My grandfather was a mine inspector back in the 30-60’s. He was called in to investigate and inspect mines after an accident/disaster.
He had stories to tell! IIRC he wrote a book about his experiences. I will have to ask my mother about that, but I sort of remember him showing us a copy when it was first published.