Who was the first president of the Republic of Texas?(1 point)