Credit: AP/Ahn Young-joon ‘Bad dude,’ ‘Rocket Man,’ ‘dotard’: History of taunts between Trump and Kim