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: Encontre o número de contratos de defesa concedidos a empresas no Texas.
 ###Tabelas: 
CREATE TABLE defense_contracts (contract_id INT, company_name TEXT, state TEXT, value FLOAT); INSERT INTO defense_contracts (contract_id, company_name, state, value) VALUES (1, 'ABC Corp', 'Texas', 5000000);
SELECT COUNT(*) FROM defense_contracts WHERE state = 'Texas';