this was called war of texas