DALLAS—A tornado tossed trees into homes, tore off storefronts and downed power lines but killed no one in a densely populated area of Dallas, leaving Mayor Eric Johnson to declare the city “very fortunate” to be assessing only property damage.
A meteorologist said people took shelter thanks to early alerts, and that it was fortunate the tornado struck late Oct. 20, when many people were home.
