Who was the U. S. President when Texas became part of the United States?.