Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Quantas vezes o nome Bok De Korver está listado?
 ###Tabelas: CREATE TABLE general_rankings (general_rankings_id AUTO_INCREMENT PRIMARY KEY, 2005 VARCHAR, 2007 VARCHAR, 2008 VARCHAR, 2009 VARCHAR, 2010 VARCHAR, 2011 VARCHAR, 2012 VARCHAR, 2013 VARCHAR) CREATE TABLE great_northern_section (great_northern_section_id AUTO_INCREMENT PRIMARY KEY, Number VARCHAR, Previous Number(s) INT, Previous Class VARCHAR, Converted INT, Withdrawn INT, Disposal VARCHAR) CREATE TABLE season_2_2007–08 (season_2_2007–08_id AUTO_INCREMENT PRIMARY KEY, Series no. INT, Season no. INT, Title VARCHAR, Directed by VARCHAR, Written by VARCHAR, Original air date VARCHAR, Production Code INT) CREATE TABLE 1905-1909 (1905-1909_id AUTO_INCREMENT PRIMARY KEY, number INT, date of debut VARCHAR, name VARCHAR, date of birth VARCHAR, number of caps INT, number of goals INT, date of death† VARCHAR) CREATE TABLE r_series_models (r_series_models_id AUTO_INCREMENT PRIMARY KEY, Colt model no. VARCHAR, Name VARCHAR, Stock VARCHAR, Fire control VARCHAR, Rear sight VARCHAR, Forward assist VARCHAR, Case deflector VARCHAR, Barrel length VARCHAR, Barrel profile VARCHAR, Barrel twist VARCHAR, Hand guards VARCHAR, Bayonet Lug VARCHAR, Muzzle device VARCHAR)  
SELECT MAX number FROM 1905-1909 WHERE name = Bok de Korver