a dataset from Columbia University called Gridded Population of the World. This is an agglomerated set of local census data, normalized to the same year. It’s the best population map available ...