Ziekbed van de prins van Oranje, 1574, Theodoor Koning, naar Jacobus Buys, 1782