Trump’s ratcheting up his feud with Kim Jong-un just in time for the holidays