CREATE TABLE table_name_67 (runner_s__up VARCHAR, margin_of_victory VARCHAR, date VARCHAR)

For the tournament played Nov 13, 1988, ending with a margin of victory of 5 strokes, who was the runner-up?
SELECT runner_s__up FROM table_name_67 WHERE margin_of_victory = "5 strokes" AND date = "nov 13, 1988"
SELECT "runner_s__up" FROM "table_name_67" WHERE "5 strokes" = "margin_of_victory" AND "date" = "nov 13, 1988"