战国海内十二分，魏州有史起引漳水灌邺，民以兴歌；蜀郡李冰凿离堆通三江，益部至今赖之。秦开郑国，汉作白沟，而关中号为陆海（《御览》七十五）。