Rose, John, active 1790-1820, of the Ceylon civil service