last Governor-General of Ceylon