Zöld- tó, Magas Tátra