Um navio de guerra britânico chegou ao porto de Gibraltar, no âmbito de uma série de exercícios militares previstos há vários meses, mas que coincidem com o aumento das tensões entre Londres e Madrid por causa deste território britânico.