I went to a minor national park over the summer (Abraham Lincoln Birthplace National Historical Park) and there was a map of the United States showing all the national parks in the country with a "Gulf of America" sticker placed over "Gulf of Mexico".