Green Lake
At the time of the events in the book Holes, no. It used to have a lake, but it dried up.
in texas
crater lake, Oregon
No it is fictional, although in the book 'Holes', it is situated in Texas but in no particular place in Texas.