Tropical Storm Nicholas forms over the Gulf of Mexico