demokratisk vice president nominerades Stevensen.