W jakich latach miała miejsce wojna amerykańsko- meksykańska o Teksas?