EOS and SEC. What will happen to EOS tokens now?