I hadn't realized any of this -- Google apparently launched with maps calling a number of Korean sites by their Japanese names (way worse than the Gulf of Mexico/America stuff, since it was using names from a former invader with no ties to those places at all), and also dug their heels in hard. So South Korea won't give them access to any of their more detailed satellite maps.
Since then, there've been a bunch of other issues around money and security. A really fascinating little deep dive.