Miles from the ocean, there’s diving beneath the streets of Budapest