The deepest pool in the world has an underground city in it.