The Iron Boys as Foremenor, Heading the Diamond Drill Shift by Mears, James R.
 is a Project Gutenberg book, now on Github.