what is the name of the tropical cyclone which affected north korea?
(AND meteorology.tropical_cyclone (JOIN meteorology.tropical_cyclone.affected_areas m.05b7q))