Reflections of a Mining Historian