How many Tornadoes in the US in June? — Whale Trades