coal mining | Definition, History, Types, & Facts | Britannica
The Hopi Indians of what is now the southwestern United States mined coal by picking and scraping and used it for heating, cooking, and in ceremonial chambers as early as the 12th century ce; in the 14th century they used it …