Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual é o número máximo de funcionários veteranos em empreiteiras de defesa no Texas?
 ###Tabelas: 
CREATE TABLE Contractors (company TEXT, state TEXT, num_veteran_employees INTEGER); INSERT INTO Contractors (company, state, num_veteran_employees) VALUES ('Contractor A', 'Texas', 250), ('Contractor B', 'Texas', 300), ('Contractor C', 'California', 200);
SELECT MAX(num_veteran_employees) FROM Contractors WHERE state = 'Texas';