Su nombre civil es el de Puerto Covadonga.