Steele, Thomas of the Ceylon Civil Service