Judges of the Republic of Texas (1836-1846): A biographical directory