user: Question: What's the Ri Song-Hui when the Olympic record is the world record and Snatch was Snatch?
Columns: ['World record', 'Snatch', 'Ri Song-Hui ( PRK )', '102kg', 'Busan , South Korea']
Types: ['text', 'text', 'text', 'text', 'text']
Sample row: ['Clean & Jerk', 'Li Ping ( CHN )', '129kg', "Tai'an , China", '22 April 2007']
SQL:

assistant: SELECT "Ri Song-Hui ( PRK )" FROM "Table" WHERE "World record" = 'Olympic record' AND "Snatch" = 'Snatch';