Will Trump’s insults toward North Korea end in war?