Reino Unido envía al buque insignia de su Armada a Gibraltar

La Armada británica envía sus buques a Gibraltar en un despliegue "rutinario"