Trump is likely to hold another summit with the leader of North Korea