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: Quais satélites foram lançados pela SpaceX no ano de 2020?
 ###Tabelas: 
CREATE TABLE Satellites (name VARCHAR(50), manufacturer VARCHAR(50), launch_year INT); INSERT INTO Satellites (name, manufacturer, launch_year) VALUES ('Starlink 1', 'SpaceX', 2020), ('Starlink 2', 'SpaceX', 2020);
SELECT name FROM Satellites WHERE manufacturer = 'SpaceX' AND launch_year = 2020;