That doesn't mean it should not be changed. How the lake existed back then and how it exists now is different so it is more deserving of a name change than other name changes that have happened.