Changing administrative name of this lake is local American news. A company making maps reflect administrative names is not world news. Nobody else should care, especially if they don’t want to feed American ego.