thomas lj an introduction to mining new york