Travis King: US soldier held by North Korea after crossing border