Fire hose. Small hose streams for fighting mine fires; by L. D. Tracy and R. W. Hendricks.