“ The roof of the Laurel Aggregates' Lake Lynn mine in Springhill Township collapsed Friday afternoon, trapping a miner, according to the Pennsylvania Division of Environmental Protection. ”