People sold the USDC depeg in 2023.