《明史·本纪·卷十》
九日，大同总兵官方政、都指挥杨洪与宁夏、甘肃兵一起出塞征讨阿台朵儿只伯。
己亥，大同总兵官方政、都指挥杨洪会宁夏、甘肃兵出塞讨阿台朵儿只伯。
On the 9th, Fang Zheng, the commanding general of Datong, Yang Hong, the commander-in-chief, and the soldiers of Ningxia and Gansu set out together to conquer Atai Du'erzhibo.