No one is going to call it that except in the same way “freedom fries” was used. People unfamiliar with the actual name might eventually use “gulf of America” if the maps continue to show it, but right now most of us know the original name and will use it out of habit, if nothing else