While the majority of attention has been focused on Donald Trump's decision to rename the "Gulf of Mexico" to the "Gulf of ...