gmgm gmgm 10-12-2015 History Answered what was the official name for the country of Texas who was its leader?