20180804 world.us: How Google Maps became the default atlas