It depends on which map you are looking at. Anyone could take the OSM data and create a map that prefers to show official_name:en-US, when available.
diverging
It has been added to OpenStreetMap. It says official_name:en-US = Lake America
It’s not the name that is likely to show when viewing the map, but it’s in the data.