the SEC should their their own $SEC coin