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 5 principais contratados de defesa por valor total de contrato, incluindo o valor total para cada um?
 ###Tabelas: 
CREATE TABLE Contractors (id INT, name VARCHAR(100), industry VARCHAR(50));CREATE TABLE Contracts (id INT, contractor_id INT, value DECIMAL(10,2)); INSERT INTO Contractors (id, name, industry) VALUES (1, 'Lockheed Martin', 'Aerospace and Defense'), (2, 'Boeing', 'Aerospace and Defense'), (3, 'Raytheon', 'Aerospace and Defense'), (4, 'Northrop Grumman', 'Aerospace and Defense'), (5, 'General Dynamics', 'Aerospace and Defense'); INSERT INTO Contracts (id, contractor_id, value) VALUES (1, 1, 1000000), (2, 1, 1500000), (3, 2, 2000000), (4, 3, 1200000), (5, 3, 1800000), (6, 4, 2500000), (7, 5, 3000000);
SELECT c.name, SUM(ct.value) AS total_value FROM Contracts ct JOIN Contractors c ON ct.contractor_id = c.id GROUP BY c.id ORDER BY total_value DESC LIMIT 5;