Hurricane Irma finally left San Juan, Puerto Rico