Does congress have to choose a new VP now?