Okay, now I've read the discussion and I'm glad to see that, aside from a few who seem to be smoking, most people agree. Maybe it is a small lake. Some people's definition of a lake requires the amount of light reaching the bottom not to exceed a certain level. I wouldn't expect a much larger lake to be contained within a university campus.
And, to answer Jophess's query, yes, I have been by Lake Barkley, but most of my lake hours have been logged at its next-dam neighbor, Kentucky Lake. These two are certainly large lakes, among the largest artificial lakes in the world.