有没有八公洞湖这个湖?是不是水库?