Embedded Player On his first day in office, President Trump issued an executive order to rename what was known for more than 400 years as the Gulf of Mexico. On Monday, the change officially took effect.