Buques de guerra británicos llegan a Gibraltar en medio de la tensión con España