what is the name of the tropical cyclone that is classified as a super typhoon (jtwc)?
(AND meteorology.tropical_cyclone (JOIN meteorology.tropical_cyclone.category m.0256dqx))