Irma is now a tropical storm