CREATE TABLE table_13942 ("Rank" FLOAT, "Athlete" CLOB, "Country" CLOB, "Time" CLOB, "Notes" CLOB)

What is the time for South Korea?
SELECT "Time" FROM table_13942 WHERE "Country" = 'south korea'
SELECT "Time" FROM "table_13942" WHERE "Country" = 'south korea'