/r/washingtondc would probably be the best place to ask about this, but given that the 'Mayor for Life' was involved in DC politics right up to his recent death, getting a proper answer to this question violates the 20 year rule.