Has There Ever Been a Tornado During an NFL Game?