North Korea sentences U.S. citizen to 15 years of hard labor