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 de contratos de defesa concedidos no primeiro semestre de 2020 a empresas no Texas?
 ###Tabelas: 
CREATE TABLE DefenseContracts (ContractID INT, CompanyName TEXT, State TEXT, ContractDate DATE); INSERT INTO DefenseContracts (ContractID, CompanyName, State, ContractDate) VALUES (1, 'ABC Corporation', 'Texas', '2020-01-10'), (2, 'XYZ Incorporated', 'California', '2020-02-15'), (3, 'DEF Enterprises', 'Texas', '2020-03-20'), (4, 'LMN Industries', 'New York', '2020-04-25');
SELECT ContractID FROM DefenseContracts WHERE State = 'Texas' AND ContractDate BETWEEN '2020-01-01' AND '2020-06-30';