How many US troops are still over there?