Zhu Zhi — a prince of Ming, son of Hongwu emperor