So do 20 “distinguished party leaders” – current and former presidents and vice presidents, retired House and Senate Democratic leaders, and all past chairs of the Democratic National Committee, the party’s governing body.