Tong wen hui kao - Chŏng, Chʻang-sun, b. 1727 (Zhong Han guan xi shi liao ji yao, 1978)