November storms, tornado in Miami Valley