Template:Country data Republic of Texas/doc