the country of north korea has what rocket?
(AND spaceflight.rocket (JOIN spaceflight.rocket.country_of_origin m.05b7q))