Title: Fighting a mine fire with its own gases