location estimated from map file:CentervilleMines.png where this is known to be mine number 31, and refined using the more accurate map at the end of H...
