The risk of an FTX crypto contagion