Tropical Storm Nicholas forms over Gulf of Mexico, with Texas in its path – CNN