coal mining operations manualcoal mining or coal mine