General Officer Commanding, Ceylon — Commander of the British Army in Ceylon until World War II