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: Quem foram os 5 principais contratados no estado de Washington em 2019?
 ###Tabelas: 
CREATE TABLE Contractors (id INT, name TEXT, state TEXT, year INT, revenue FLOAT);
SELECT name FROM Contractors WHERE state = 'Washington' AND year = 2019 LIMIT 5;