Tropical Storm Irma forms in the eastern Atlantic Ocean