Trump to engage North Korea's Kim sooner or later, US official says