Ceylon Civil Service — government agency in British Ceylon