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 foi o registro de Roberto Travern quando ele lutou contra John Salter?
 ###Tabelas: CREATE TABLE average_scores_of_all_couples (average_scores_of_all_couples_id AUTO_INCREMENT PRIMARY KEY, Rank by average VARCHAR, Place VARCHAR, Perfect 40s VARCHAR, Total VARCHAR, Number of dances VARCHAR, Season VARCHAR, Average VARCHAR) CREATE TABLE group_2 (group_2_id AUTO_INCREMENT PRIMARY KEY, Match No. INT, Date VARCHAR, Time VARCHAR, Score VARCHAR, Venue VARCHAR, Match Report VARCHAR) CREATE TABLE gdp_by_value_added (gdp_by_value_added_id AUTO_INCREMENT PRIMARY KEY, Supply sector (% of GDP in current prices) VARCHAR, 1993-2001 VARCHAR, 2002-2005 VARCHAR, 2006-2009 VARCHAR, 2010-2012 VARCHAR) CREATE TABLE medal_table (medal_table_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Nation VARCHAR, Gold INT, Silver INT, Bronze INT, Total INT) CREATE TABLE mixed_martial_arts_record (mixed_martial_arts_record_id AUTO_INCREMENT PRIMARY KEY, Res. VARCHAR, Record VARCHAR, Opponent VARCHAR, Method VARCHAR, Event VARCHAR, Round INT, Time VARCHAR, Location VARCHAR)  
SELECT Record FROM mixed_martial_arts_record WHERE Opponent = john salter