How had the Rio police grown by the 17th century