Lesson: The largest salt mine in the world

For fun