Moord te Haarlem, 1573, Theodoor Koning, after Jacobus Buys, 1780