Title: Annals of the Joseon Dynasty. 17