. . . "Naval battle involving Texas" . . .