30 named storms: Record hurricane season comes to an end