sentences:  Other ships of the Texas Navy at the time included the brigs "Potomac" and "Archer", the schooners "San Jacinto", "San Antonio" and the "San Bernard", and the "Zavala", the first steamship-of-war in North America.When Texas joined the United States in 1846, the Texas Navy was merged into the United States Navy.The Texas Marines, officially the Marine Corps of the Republic of Texas, were the naval infantry of the Texas Navy tasked with enforcing discipline aboard ships, providing security at shore stations, sharpshooting, and naval boarding.