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 satélite teve o maior número de lançamentos bem-sucedidos em 2020?
 ###Tabelas: 
CREATE TABLE satellite_launches (id INT, satellite VARCHAR(255), year INT, success BOOLEAN); INSERT INTO satellite_launches (id, satellite, year, success) VALUES (1, 'Starlink-1', 2020, true), (2, 'Galileo IOV-1', 2020, true), (3, 'Starlink-2', 2020, true);
SELECT satellite, MAX(success) AS highest_num_successes FROM satellite_launches WHERE year = 2020 GROUP BY satellite HAVING highest_num_successes = true;