Citadel lost IEX lawsuit and a revenue stream