Peder Torgrimsen Torgrimson — 1720 - 1801