US citizen released by North Korea