gugdrtcosena fu'ivla

x₁ is North Korea.

Cf. gugdekupu, gugdrgogurio, gugdrxanguke.

jbovlaste

In notes:

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