What's the Ri Song-Hui when the olympic record is the world record and snatch was snatch?
CREATE TABLE "records" (
  "world_record" text,
  "snatch" text,
  "ri_song_hui_prk" text,
  "102kg" text,
  "busan_south_korea" text
);
SELECT "ri_song_hui_prk" FROM "records" WHERE "world_record"='olympic record' AND "snatch"='snatch';