Colombia’s InterBolsa: too big to fail?