I see.
The Hungarian term is a compound noun which literally means "mine lake". However, I couldn't find "mine lake" in any authentic-looking English text, which made me think that perhaps this compound is not used in English. A number of Google hits appeared to be translations from Hungarian or tourist information written by non-native users of English.