Thunderstorms from the Gulf of Mexico drenched parts of Texas with rain and triggered tornadoes in Florida. One twister, in Okeechobee, felled trees and damaged houses in the area, but no injuries were reported, a police spokeswoman said. At Venice, Fla., another tornado struck a mobile home park and hurled aluminum debris into power lines, cutting off electricity for several hours. Storm warnings remained in effect for most of southern Florida. In Texas, Galveston had more than 7 inches of rain in 24 hours, breaking an 83-year-old record.