日本書紀

十応神

七年九月、高麗人、百済人、任那人、新羅人、並来朝、時命武内宿禰、領諸韓人等作池、因以名池、号韓人池(○○○)、十一年十月、作剣池(○○)、軽池(○○)、鹿垣池(○○○)、厩坂池(○○○)、