Mapmakers and teachers are re-thinking what to call the gulf of water between Mexico, the United States and Cuba.

President Trump's territorial assertions sparked a round of rethinking by mapmakers and teachers, snark on social media and sarcasm by at least one other world leader.