Instruct: What's the Ri Song-Hui when the olympic record is the world record and snatch was snatch?
Output: SELECT Ri Song-Hui ( PRK ) FROM table WHERE World record = olympic record AND Snatch = snatch