Title: Notes on the Republic of Texas Navy, Marine Corps, Coast Guards, and Their Vessels