Mine fires and how to fight them; by James W. Paul.