A brief history of local coal mining, by Don Wilcock