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 nome do trem chega em lonavla às 17:45
 ###Tabelas: CREATE TABLE pune_-_lonavala_service (pune_-_lonavala_service_id AUTO_INCREMENT PRIMARY KEY, Train Number INT, Train Name VARCHAR, Departure Pune VARCHAR, Arrival Lonavla VARCHAR, Frequency VARCHAR, Origin VARCHAR) CREATE TABLE aor_radio_stations (aor_radio_stations_id AUTO_INCREMENT PRIMARY KEY, Call Letters VARCHAR, Market VARCHAR, Frequency VARCHAR, AOR Years VARCHAR, Current Format VARCHAR) CREATE TABLE stanley_cup_finals (stanley_cup_finals_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Visitor VARCHAR, Score VARCHAR, Home VARCHAR, Record VARCHAR) CREATE TABLE contestants_and_final_ranking (contestants_and_final_ranking_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Category VARCHAR, Eliminated VARCHAR, Date VARCHAR, Special Guest VARCHAR) CREATE TABLE red_dwarf_x (red_dwarf_x_id AUTO_INCREMENT PRIMARY KEY, Episode no. INT, Airdate VARCHAR, Dave Viewers INT, Dave Rank INT, Rank (cable) INT, Dave ja vu Viewers INT, Total viewers INT)  
SELECT Train Name FROM pune_-_lonavala_service WHERE Arrival Lonavla = 17:45