Past US presidents’ insults of North Korea now seem quaint