《元史·列传·卷五十四》
蒙军攻开州、达州，庭瑞领兵在虎啸山构筑城堡，控制通往两州的通道。
诸军攻开州、达州，庭端将兵筑城虎啸山，扼二州路。
The Mongol army attacked Kaizhou and Dazhou; Tingrui led troops in building a castle on Huxiao Mountain to control the passage to the two states.