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