Lake Norman. Named after a man named Norman Cocke.
What if the man’s name was Richard Cocke?
Also rhwew is a lake in NC named Lake James? I wonder what his first name was.
There was a kid in Jr High with the unfortunate name Richard Small. When the teacher took attendance she called last names first! Yet the kid preferred to be called by the nickname version, so that was how she called it: “Small, D...”