Trump's decision to rename the Gulf of Mexico has been met with mixed results. While some U.S. citizens who live in places like Florida have gladly welcomed the name change, others appear irked.