what was the population of puerto rico in 2010?
3725789.0