Un crucero que hace escala en el Peñón da la bienvenida a "Gibraltor" con una bandera de España: https://www.diariodejerez.es/noticias-provincia-cadiz/crucero-bienvenida-gibraltor-bandera-espana_0_1354964813.html?utm_source=telegram.com