I assume that the SEC gained access to his exchange accounts' transaction history and discovered that he did indeed lose money trading.