Trump said no as a precondition. But I bet that if a deal is struck it will involve withdrawal of troops as a condition subsequent. That’s different.
You may be correct about us pulling our troops out after everything else has been accomplished and verified and North Korea has been the denuclearized etc.
I personally would like to see them come home but even if that becomes part of the final deal it will be a slow process.