Did NASDAQ just hire its next CEO?