How many troops did the UK send to the Philippines?