Tropical Storm Ivan becomes Hurricane Ivan in the Atlantic Ocean.