Who was the first commander of the Texas troops?