《资治通鉴·汉纪·汉纪三十六》
武陵蛮人首领相单程等反叛。东汉朝廷派刘尚发兵一万余人，沿沅水逆流而上，到武进行讨伐。
武陵蛮精夫相单程等反，遣刘尚发兵万馀人溯沅水入武谿击之。
The barbarian leader of Wuling County, Xiang Dachen, and others rebelled. The Eastern Han court sent Liu Shang to lead more than 10,000 soldiers to go upstream along the Yuan River and attack the barbarians in Wu County.