bernie actually is president