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