Henrik Johan Paus — Norwegian jurist and civil servant