"Camponotus texanus" . . . .