El indefendible Peñón. Inglaterra y la permuta de Gibraltar por Ceuta, de 1917 a 1919