File:Naval Ensign of the Kingdom of Texas.png