《元史·本纪·卷十六》
命海船副万户杨祥、合迷、张文虎均任都元帅，率军征伐琉求。
命海船副万户杨祥、合迷、张文虎并为都元帅，将兵征琉求。
The vice-wanhu (10,000 households) of the marine fleet, Yang Xiang, Hemi, and Zhang Wenhu were appointed as du yuan shuai (grand marshals) and led an army to conquer Liuqiu.