What can Trump do about North Korea’s Kim?