When President Trump took office, estimates were around 300, but a number of Army Rangers were deployed over the weekend into Manbij, and these deployments apparently happened before that, though we’re only just hearing about them now.