Marshall, Henry Augustus, of the Ceylon Civil Service