Mitch McConnell is retiring from US politics. Good riddance