‘Dotard,’ ‘Rocket Man’ and Other Names Trump and Kim Jong-un Have Called Each Other

By MATT STEVENS