Una ola de 7,3 metros nuevo récord registrado en la boya del Golfo de Cádiz, según Puertos del Estado