Spanish border officials will check the passports of UK travellers entering British territory in Gibraltar under a deal to settle the Rock’s post-Brexit status. It will mean “dual border checks” for ...