Taco John's Map, Lake Hallie