Harvey, other major hurricane names from 2017 season officially retired

As if Houstonians needed any more confirmations that Hurricane Harvey was the worst, the World Meteorological Organization has officially decided to retire the name.