Coal mines and mining. Methods of rock-dusting American coal mines; by J. J. Forbes.