Title: The population census of Puerto Rico