How many Puerto Ricans are there