which tropical cyclone affected north korea?
(AND meteorology.tropical_cyclone (JOIN meteorology.tropical_cyclone.affected_areas m.05b7q))