Francis Richards - Governor of Gibraltar, former Director of GCHQ