历史知识 > 督亢渠

即“督亢陂”。