Tropical Storm Michael Upgraded to Hurricane in Gulf of Mexico