The proposal to rename the Gulf of Mexico the Gulf of America was bound to be controversial (“Trump wins first round vs. AP in fight over ‘Gulf of America,’” Web, Feb. 25).