Describir: The census of Ceylon.