David's graf voor de tweede keer geopend, Theodoor Koning, naar Jacobus Buys, 1783