Original: It weakened to a tropical depression over land, but restrengthened to a tropical storm over the southeastern Gulf of Mexico.
Simplified: Once Tropical Depression Mitch reached the Gulf of Mexico it became Tropical Storm Mitch.