North Korea releases three U.S. citizens