President Trump officially renames Gulf of Mexico to Gulf of America, declaring February 9 as Gulf of America Day amid ...