Carrington, Codrington Edmund, Sir, active 1800-1801, DCL Chief Justice of Ceylon