Tropical depression forms in Gulf of Mexico: Is Florida at risk?