El primer líder cristiano que venció a los musulmanes en la batalla de Covadonga fue Don ____.