Tropical Storm Karen churns in the Gulf of Mexico