are there alligators in lake whitney texas