Ocker Gevaerts — Mayor of Dordrecht (1735-1807)