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 orçamento total de todas as campanhas em Washington DC?
 ###Tabelas: 
CREATE TABLE campaigns (id INT, name TEXT, budget INT, start_date DATE, state TEXT); INSERT INTO campaigns (id, name, budget, start_date, state) VALUES (1, 'MentalHealthAwareness', 45000, '2020-01-15', 'Washington DC'); INSERT INTO campaigns (id, name, budget, start_date, state) VALUES (2, 'EndStigma', 55000, '2021-04-01', 'New York'); INSERT INTO campaigns (id, name, budget, start_date, state) VALUES (3, 'HealthyMinds', 70000, '2019-06-05', 'California'); INSERT INTO campaigns (id, name, budget, start_date, state) VALUES (4, 'MentalHealthMatters', 65000, '2018-12-12', 'Washington DC');
SELECT SUM(budget) FROM campaigns WHERE state = 'Washington DC';