Title: Coal mining chronology