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 os 5 estados com o maior valor de contrato de defesa.
 ###Tabelas: 
CREATE TABLE defense_contracts (contract_id INT, company_name TEXT, state TEXT, contract_value FLOAT); INSERT INTO defense_contracts (contract_id, company_name, state, contract_value) VALUES (1, 'ABC Corp', 'Texas', 5000000), (2, 'DEF Inc', 'California', 7000000), (3, 'GHI Ltd', 'New York', 6000000), (4, 'JKL Co', 'Florida', 4000000), (5, 'MNO Inc', 'Illinois', 3000000);
SELECT state, SUM(contract_value) AS total_contract_value FROM defense_contracts GROUP BY state ORDER BY total_contract_value DESC LIMIT 5;