US troops?
Yes the US has deployed over 1,000 (”non-combat”) troops in the last few months. Mostly US Marines and US Army Special Forces.