CREATE TABLE table_name_67 (round INT, name VARCHAR)

What is Roy Hall's highest round?
SELECT MAX(round) FROM table_name_67 WHERE name = "roy hall"
SELECT MAX("round") FROM "table_name_67" WHERE "name" = "roy hall"