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 .