Traité de Gibraltar Britain and EU formally sign Gibraltar treaty, easing border crossings Reuters