Tropical Storm Michael headed for the Gulf

The depression making its way up to the Gulf has been upgraded to a tropical storm, according to the National Hurricane Center.