Texas Stock Exchange To File Registration With The SEC