How many US troops participated in the invasion