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 é o Ri Song-Hui quando o recorde olímpico é o recorde mundial e o arranco foi arranco?
 ###Tabelas: CREATE TABLE farm_to_market_roads (farm_to_market_roads_id AUTO_INCREMENT PRIMARY KEY, Route Name VARCHAR, Direction VARCHAR, Termini VARCHAR, Junctions VARCHAR, Length VARCHAR, Population Area VARCHAR) CREATE TABLE feral_animals_introduced_species (feral_animals_introduced_species_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Species VARCHAR, Overview VARCHAR, Introduced VARCHAR, Feral VARCHAR, Threat level VARCHAR) CREATE TABLE racing_record (racing_record_id AUTO_INCREMENT PRIMARY KEY, Season INT, Series VARCHAR, Team VARCHAR, Races INT, Wins INT, Points VARCHAR, Position VARCHAR) CREATE TABLE records (records_id AUTO_INCREMENT PRIMARY KEY, World record VARCHAR, Snatch VARCHAR, Ri Song-Hui ( PRK ) VARCHAR, 102kg VARCHAR, Busan , South Korea VARCHAR) CREATE TABLE asian_games (asian_games_id AUTO_INCREMENT PRIMARY KEY, Sport VARCHAR, Gold INT, Silver INT, Bronze INT, Total INT)  
SELECT Ri Song-Hui ( PRK ) FROM records WHERE World record = olympic record AND Snatch = snatch