How many troops did the US send to the Philippines?