President Trump and the North Korean leader, Kim Jong-un, have sharply escalated their nuclear saber rattling in recent days. Mr. Kim’s mention in his annual New Year’s Day speech of a “nuclear but…