the British colony of Ceylon