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: Listar todas as espaçonaves que fizeram parte de projetos de pesquisa em astrofísica no Canadá.
 ###Tabelas: 
CREATE TABLE Spacecraft (SpacecraftID INT, Name VARCHAR(50), Manufacturer VARCHAR(50));CREATE TABLE ResearchProjects (ProjectID INT, SpacecraftID INT, Name VARCHAR(50), Location VARCHAR(50)); INSERT INTO Spacecraft (SpacecraftID, Name, Manufacturer) VALUES (1, 'James Webb Space Telescope', 'NASA'), (2, 'Canadian Space Agency Satellite', 'CSA'); INSERT INTO ResearchProjects (ProjectID, SpacecraftID, Name, Location) VALUES (1, 1, 'Dark Matter Research', 'Canada'), (2, 2, 'Solar Wind Study', 'Canada');
SELECT s.Name FROM Spacecraft s INNER JOIN ResearchProjects rp ON s.SpacecraftID = rp.SpacecraftID WHERE rp.Location = 'Canada';