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: Liste os top 5 estados com o maior valor total de contratos de defesa.
 ###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), (2, 'DEF Inc', 'California', 7000000), (3, 'GHI Ltd', 'New York', 6000000), (4, 'JKL PLC', 'Florida', 4000000), (5, 'MNO Corp', 'Texas', 3000000);
SELECT state, SUM(value) as total_value FROM defense_contracts GROUP BY state ORDER BY total_value DESC LIMIT 5;