2017 Atlantic hurricane season finally comes to an end

Harvey, Irma, Maria: they're all names that will be remembered in what has truly been a devastating 2017 Atlantic hurricane season.