Bernie Sanders ends his White House bid.