Trump greets US citizens freed from North Korea