presidente de la República de Texas, luego de David G.