President Trump has long given his adversaries original nicknames to mock and diminish them.

In 2016, he dubbed Democratic presidential nominee Hillary Clinton “Crooked Hillary.” GOP primary rival Jeb Bush was known as “low-energy Jeb.” He labeled another Floridian, Sen. Marco Rubio, “Little Marco.” He has already given his potential 2020 Democratic rivals nicknames: “Crazy Bernie” Sanders, “Sleepy Joe” Biden, and “Pocahontas” Elizabeth Warren.