Wednesday's Christmas Eve drawing ended the lottery game's three-month stretch without a top-prize winner. It was the second-largest jackpot in U.S. history.

There is little question that a presidential library is a feather in any city's cap. But in Miami-particularly at this moment ...