金史
《金史》和《宋史》都说金军一天之内挖出一条长30里的河道。