By May 13, how many troops had been added to the rescue efforts?