Isn't that how Texas became part of the US?