Pennsylvania. Dept. of Mines and Mineral Industries.