Mapmakers and teachers are re-thinking what to call the gulf of water between Mexico, the United States and Cuba after President Donald Trump ordered it renamed from the Gulf of Mexico to the Gulf of America.

The executive order will direct the secretary of the interior to change the name to "Gulf of America” for use on official maps and throughout the federal government, according to the New York Post, which first reported the news. Trump has nominated Republican North Dakota Gov. Doug Burgum to the Department of Interior.

Gulf of America” seems likely to become one of those phrases only Republicans use, joining “Democrat Party,” “job creators” and “death tax.”