《元史·列传·卷九十五》
六月，征服耽罗，于其地立耽罗国招讨司，屯驻镇边军一千七百人。
六月，平之，于其地立耽罗国招讨司，屯镇边军千七百人。
In the sixth month, Tanluo was conquered, and the Tanluo Guo Zhaotou Division was established in its capital, with 1700 border troops stationed there.