typhoon choi-wan happened during what tropical cyclone season?
(AND meteorology.tropical_cyclone_season (JOIN meteorology.tropical_cyclone_season.tropical_cyclones m.07s7phf))