U.S. soldier Travis King deported by North Korea