The national whatever for place names calls it Lake America. That’s the official source of data; neither Congress nor the president needs to be involved every single time a place is named (though this time the president decided to be because the president is a moron).