《魏氏春秋》曰：明帝青龍三年，張掖郡刪丹縣金山玄川溢，涌寶石負圖，狀象靈龜，立于川西，有石馬七，其一仙人騎之，其一羈絆之，其五有形而不善成，有玉匣，開蓋於前，上有玉字，玉玦二，玉璜一，又有騏驎在東，鳳皇在南，白虎在西，犧牛在北，馬自中布列南方。有字曰：大討曹，金但取之，此司馬氏革運之徵。