Does anyone know which exchange it is? There must be platform coins in the second-tier exchanges, right? Shorting one contract shouldn't be a big problem, right?