Times atlas of the world (Times books,)