Trump directed the secretary of the interior to change the name of the Gulf of Mexico to the "Gulf of America” for use on official maps and throughout the federal government. "The area formerly known ...