bernie sanders – united states senator