How many Tornadoes in the US in May? | Polytreasury: Automatización de mercados de predicción