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 Local tem uma Rede de tvn?
 ###Tabelas: CREATE TABLE week_7 (week_7_id AUTO_INCREMENT PRIMARY KEY, Couple VARCHAR, Style VARCHAR, Music VARCHAR, Trine Dehli Cleve INT, Tor Fløysvik INT, Karianne Gulliksen INT, Christer Tornell INT, Total INT) CREATE TABLE international_versions (international_versions_id AUTO_INCREMENT PRIMARY KEY, Country VARCHAR, Local name VARCHAR, Host VARCHAR, Network VARCHAR, Date premiered VARCHAR) CREATE TABLE 2009_regular_season_football_standings (2009_regular_season_football_standings_id AUTO_INCREMENT PRIMARY KEY, School VARCHAR, Team VARCHAR, Division Record VARCHAR, Overall Record VARCHAR, Season Outcome VARCHAR) CREATE TABLE talk_shows (talk_shows_id AUTO_INCREMENT PRIMARY KEY, Show VARCHAR, Host(s) VARCHAR, Flagship VARCHAR, Market VARCHAR, iHeartRadio VARCHAR) CREATE TABLE ique_ds (ique_ds_id AUTO_INCREMENT PRIMARY KEY, Western Title VARCHAR, Chinese Title VARCHAR, Pinyin VARCHAR, Released Date VARCHAR, Genre VARCHAR, Game Modes VARCHAR)  
SELECT Local name FROM international_versions WHERE Network = tvn