Which president arranged for the annexation of Texas by joint resolution of both houses of Congress?
1) Taylor
2) Tyler
3) Polk
4) Lincoln