of the Ceylon Civil Service Thomas Steele