Tropical Storm Gordon: Warning discontinued for South Florida