mängd af Texas ’ innevånare gått öfver till mexiko.