Mavrovsko jezero, Mavrovsko jezero - Mavrovo