The World Series of Poker main event is over — for now.