on the discovery of an ancient coal mine