《明史·列传·卷一百三十六》
第二年派遣将领丁孟科、官维贤攻打河套松山各部镇的少数民族，斩首二百四十多级。
明年，遣将丁孟科、官维贤击河套松山诸部镇番，斩首二百四十余级。
In the second year, he sent generals Ding Mengke and Guan Weixian to attack the tribes in the松山 parts of the Hetao Region, killing more than 240 of them.