One of Trump's first executive orders as president was the Gulf of Mexico change, and on Monday, workers at the U.S. Board on Geographic Names have formally changed the name to the Gulf of America. Google has also complied and updated its maps, although Mexico's president Claudia Sheinbaum has promised to ignore it. While traveling to the Super Bowl on Sunday, Trump declared the day as the "first ever Gulf of America Day."
The comments from Khamenei follow further trolling of Trump when, on Monday, Iran's state-run Fars News Agency, affiliated with the Islamic Revolutionary Guard Corps, aired a propaganda video depicting the mock arrest of Trump.