Nederlandse synoniemen voor 'democratische volksrepubliek korea'