朝鲜名字是朱元璋起的。