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 são os 3 principais contratados de defesa com a maior participação de mercado no mercado de navios navais em 2019?
 ###Tabelas: 
CREATE SCHEMA if not exists market_shares;CREATE TABLE if not exists naval_vessels_sales(supplier text, quantity integer, sale_year integer);INSERT INTO naval_vessels_sales(supplier, quantity, sale_year) VALUES('Huntington Ingalls Industries', 35, 2019), ('General Dynamics', 30, 2019), ('BAE Systems', 25, 2019), ('Lockheed Martin', 20, 2019);
SELECT supplier, (SUM(quantity) * 100.0 / (SELECT SUM(quantity) FROM naval_vessels_sales WHERE sale_year = 2019)) AS market_share FROM naval_vessels_sales WHERE sale_year = 2019 GROUP BY supplier ORDER BY market_share DESC LIMIT 3;