Josephus door een steen geraakt, Theodoor Koning, naar Jacobus Buys, 1785