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