Lago la Ercina, Lagos de Covadonga