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: Quando o navio que foi comissionado em julho de 1948 com um número de arco de ps-31 foi lançado?
 ###Tabelas: CREATE TABLE 1066_to_1135 (1066_to_1135_id AUTO_INCREMENT PRIMARY KEY, Heir VARCHAR, Status VARCHAR, Relationship to Monarch VARCHAR, Became heir VARCHAR, Reason VARCHAR, Ceased to be heir VARCHAR, Monarch VARCHAR) CREATE TABLE 2010s_raiders_5-2 (2010s_raiders_5-2_id AUTO_INCREMENT PRIMARY KEY, Year INT, Date VARCHAR, Winner VARCHAR, Result VARCHAR, Loser VARCHAR, Location VARCHAR) CREATE TABLE season_schedule (season_schedule_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Opponent VARCHAR, Score VARCHAR, Result VARCHAR, Record VARCHAR, Attendance INT) CREATE TABLE season_5_1992 (season_5_1992_id AUTO_INCREMENT PRIMARY KEY, Number in series INT, Number in season INT, Title VARCHAR, Directed by VARCHAR, Original air date VARCHAR, Production code VARCHAR) CREATE TABLE ships_in_class (ships_in_class_id AUTO_INCREMENT PRIMARY KEY, Bow number VARCHAR, Ship name VARCHAR, Launched VARCHAR, Commissioned VARCHAR, Service VARCHAR)  
SELECT Launched FROM ships_in_class WHERE Commissioned = july 1948 AND Bow number = ps-31