Texas was part of Mexico