Tổng tư lệnh, Ceylon