Software company Mapquest launched a website allowing people to name the Gulf of America whatever they’d like. Mapquest is the latest to pipe in on the debate about whether to keep the Gulf of Mexico name or use the new “Gulf of America” title.

MapQuest is letting users call the “Gulf of America” whatever they want, a move that subtly pokes fun at President Trump’s decision to rename the “Gulf of Mexico.” The mapping company launched a new Instagram account despite its platform fading in popularity amid the rise of Google Maps and Apple Maps.

Weeks before retaking office, Trump decided to add the measure to his Day 1 agenda, elevating a liberal joke that had become a conservative meme into an action that has come to symbolize the tenor of his term.