Photos: Tornadoes in North Texas (10/24)