[Nursie]

That is fascinating!

But I feel he was an amateur compared to Joseph Williamson :)

https://en.wikipedia.org/wiki/Williamson_Tunnels

[hi_hi]

Brilliant. This indeed wins :-)