I've never heard of US-sized tornadoes in our country. Just how rare an occurrence is this?