Dood van de graaf van Hoogstraten, 1568, Theodoor Koning, naar Jacobus Buys, 1779