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 president-elect told reporters Tuesday that he wanted the body of water called the Gulf of America, but he provided no details on how the change would be enacted.

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.