We use whichever name, phrase, or descriptor best conveys the topic. Which, in this case, is to mention the wildly minority and specialised viewpoint that they are one lake briefly in Great Lakes, and that's it. We certainly don't edit-war to remove Lake Michigan and Lake Huron from lake lists. When 9001 people say X, and three people say Y, Y clearly doesn't "best convey the topic". -  One ping only