Exploring an old mine with a diverted creek running through it