This is the one you want, from Mining History 13:3 - https://pdmhs.co.uk/MiningHistory/Bulletin 13-3 - The Connection of James Hall's Over Engine Mine to Peak and Speedwell Caverns.pdfI don't think that tale has appeared as yet in any book. But if you read any of the printed material from PDMHS about the (re)discovery of JH, it's (re)connection to Speedwell and then to Peak Cavern's Far Sump Extension by modern cavers, that's probably the best source of information.