Table schema:
CREATE TABLE table_11585313_1 (number INTEGER, name VARCHAR)

Question: What amount of times is the name, Bok De Korver listed?
SQL: SELECT MAX(number) FROM table_11585313_1 WHERE name = "Bok de Korver"