Biographical summaries of those who have been important in the history of the mine