Tropical Storm Karen weakens in Gulf of Mexico