President-elect Donald J. Trump said Tuesday that he planned to change the name of the Gulf of Mexico to the “Gulf of America,” one of several foreign policy proposals that left world leaders reeling. “It has a beautiful ring,” he said of the proposed name change for the body of water that borders several U.S. and Mexican states.

The incoming president offhandedly outlined his newest administration priority – changing the name of the Gulf of Mexico. Here’s what to know about the Gulf, the name and the possibility it might change.