Trump renames Gulf of Mexico as Gulf of America, marking 9th February as Gulf of America Day. This change appears on U.S. Google Maps.