which president annexed texas