are there alligators in lake waco