Peder Benzon - Danish judge (1684-1735)