Pieter Varkensdoder (1733-1800)