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

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'