Un tornado deja cuatro muertos en Texas