How did the situation go from a water leak to an explosion?
https://en.wikipedia.org/wiki/Lake_Peigneur
So I'm picturing water leaking into a salt mine full of pressurized air. Naively it makes a hole, and a hole is just a leak. But if the water starts dissolving the salt in a process that runs away, then it is more like popping a balloon, but on a grand scale.