金庸小说《倚天屠龙记》中出现过的真实历史人物，元末明初建立大汉政权，自称汉王的是哪一位？