Coal mine maps. (U.S. Dept. of Labor, Mine Safety and Health Administration, National Mine Health and Safety Academy,, 2001)