Ming shi gao - Wang, Hongxu 1645-1723