Parque Nacional de Aigüestortes, Lago San Mauricio