[@Wernher]

I'm going to have to strongly disagree with a population of ~190 million. The primary reasons the PRK's population is so large is because:

A: It's a leader of one of the main factions that seem to be developing.
B: Everyone in the entire world save Avalia would invade it if given a good opportunity, which means that it almost certainly has to be a large power to survive (hence it isn't unbalanced)
B: It's essentially 1/3-1/2 of the industrialized world due to its presence as the remaining top half of the Old Kataylan Empire (as I'm going to call it because historical revisionism), meaning the leftmost continents.
C: Even though it's pretty heavily rural in the interior there's a lot of coastline there, and it's close to the equator unlike the Soviet Union, which is the closest analogue with ~200 million people in 1940. We're at the same latitude, and also like ten times bigger.

That being said, I don't want to discourage your creativity in your nation setup. I'd be perfectly fine with a population of ~100 million, give or take 20, with the aforementioned overpopulation problems and also the disorder that would be present considering the revolution attempt mentioned in your history.

The revolution happened 12 years ago in the PRK for reference, so your current government would have to be younger.

And I forgot to mention that I also now have [i]another[/i] ~100 million empire of bloody squid trying to contest my naval superiority, which is Kataylabinsk's thing.