a category 5 super typhoon is which tropical cyclone?
(AND meteorology.tropical_cyclone (JOIN meteorology.tropical_cyclone.category m.01xvxky))