¿Qué pasará con Gibraltar tras el Brexit?, Martín Ortega Carcelén, 31 julio 2017