General Officer Commanding, Ceylon