The pension fund invested an undisclosed amount in FTX during a $420 million funding round last October.