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: Quais são os 5 principais contratados de defesa por valor total de contrato para o ano de 2020?
 ###Tabelas: 
CREATE TABLE defense_contracts (contractor VARCHAR(255), year INT, value FLOAT); INSERT INTO defense_contracts (contractor, year, value) VALUES ('Lockheed Martin', 2020, 59.8), ('Raytheon', 2020, 26.2), ('Boeing', 2020, 23.2), ('Northrop Grumman', 2020, 22.3), ('General Dynamics', 2020, 21.8);
SELECT contractor, SUM(value) as total_value FROM defense_contracts WHERE year = 2020 GROUP BY contractor ORDER BY total_value DESC LIMIT 5;