$200
What is sealing a mine fire?