Identify who was the president responsible for annexing Texas into the U.S.