which tropical cyclone is categorized as typhoon (jma)?
(AND meteorology.tropical_cyclone (JOIN meteorology.tropical_cyclone.category m.0256dwp))