A keen distinction, as noted by a recent Wikipedia edit:
The northernmost portion of the Gulf within U.S. borders has been designated as the Gulf of America by the federal government of the United States during the Second presidency of Donald Trump in January 2025.[8]