‘Dotard’ and ‘Rocket Man’ are among some of the names Trump and Kim Jong Un have called each other.