I'm super proud of how the #openstreetmap community responds to things like Trump's executive order to rename Lake Ontario: the name remains tagged according to what is commonly-used in the communities nearest the feature, and they add a separate tag to note the name that appears in official records of different jurisdictions. So, you could seek out an app that uses the official US name, but most apps will use the common name.
https://community.openstreetmap.org/t/lake-ontario-lake-america/146975/