The people who went long get liquidated into USD by the exchange, and you ACH that USD into whatever account you want to.
We saw this prior to the Great Recession, and in the 1929 crash too. I'm ignoring the potential for a bank run to complicate matters, just sticking with counterparty risk which is easy to model.