gugdrtcosena fu'ivla

x₁ is North Korea.

Cf. gugdekupu, gugdrgogurio, gugdrxanguke.

jbovlaste

In notes:

gugdrgoguro: x₁ is Korea.
gugdrxanguke: x₁ is South Korea.
gugdrgogurio: x₁ is Korea.