Sandang chip - Ch'oe, Ch'ung-sŏng 1458-1491 (Han'guk Kojŏn Pŏnyŏgwŏn, 2020)