Fun trivia: Google had quite a bit of data for North Korea that was added by unpaid editors, and then one day they decided to flip the switch and show it on the public Google Maps site. Their data source can vary country-by-country and they can config per-country display options.