Zhu Hui — Ming Dynasty prince, 19th son of Hongwu Emperor