Forecasters: Depression Becomes Tropical Storm Michael