Marshall, Henry Augustus, active 1813-1823, of the Ceylon Civil Service