de jure population