United States President Donald Trump has officially designated February 9 as "Gulf of America Day," marking the renaming of the Gulf of Mexico.