I just learned about the Texas navy a few days ago myself while reading "DREAM OF EMPIRE - A History of the Republic of Texas 1835-1846" by John Edward Weems. It is something that I had never even considered until then.
1