Many of the previous name changes, including Gulf of Mexico as the "Gulf of America”, started off as apparently jovial remarks by the 80-year-old U.S. President before he then followed through to make them a reality.