IF TEXAS DECLARED INDEPENDENCE FROM THE U.S.?