Peder Christophersen Tønder — Norwegian government official