Philip's new pocket atlas of the world : a concise gazetteer.