2023 hurricane season ends as one of the busiest on record