US Pres. Trump meets N. Korea’s Kim, says “It’s a great day for the world”