Buques de guerra británicos atracarán en Gibraltar en plena tensión por el peñón