Trump wants troops out of Syria, but his generals may resist