Miners tried to tamp a hole. It exploded in their faces | What happened in 1871?