Times atlas of the world comprehensive ed by