It was the third-largest Powerball jackpot and seventh-largest of all time in U.S. lottery history.