North Korea sentences US citizen to 15 years of hard labor