Yang, Shiqi. Ming Xuanzong Shi Lu. n.p., 1438.