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 navio foi lançado de Devonport, Devon?
 ###Tabelas: CREATE TABLE season_15_1969_70 (season_15_1969_70_id AUTO_INCREMENT PRIMARY KEY, Series # INT, Season # INT, Title VARCHAR, Director VARCHAR, Writer(s) VARCHAR, Airdate VARCHAR) CREATE TABLE most_points_for_the_club (most_points_for_the_club_id AUTO_INCREMENT PRIMARY KEY, Points INT, Player VARCHAR, Tries INT, Goals INT, Field Goals INT) CREATE TABLE stages (stages_id AUTO_INCREMENT PRIMARY KEY, Stage INT, Date VARCHAR, Course VARCHAR, Distance VARCHAR, Winner VARCHAR, GC Leader VARCHAR) CREATE TABLE  (_id AUTO_INCREMENT PRIMARY KEY, Country VARCHAR, Builder VARCHAR, Location VARCHAR, Ship VARCHAR, Class / type VARCHAR) CREATE TABLE 1970_isle_of_man_production_750_cc_tt_final_standings (1970_isle_of_man_production_750_cc_tt_final_standings_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Rider VARCHAR, Team VARCHAR, Speed VARCHAR, Time VARCHAR)  
SELECT Ship FROM  WHERE Location = devonport, devon