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: Qual era o número da divisão para Verona, EUA?
 ###Tabelas: CREATE TABLE 2013 (2013_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Location VARCHAR, Fight VARCHAR, Division VARCHAR, Titles VARCHAR, Rematch VARCHAR, TV VARCHAR, Promoter VARCHAR, Notes VARCHAR) CREATE TABLE english (english_id AUTO_INCREMENT PRIMARY KEY, Class VARCHAR, Part 1 VARCHAR, Part 2 VARCHAR, Part 3 VARCHAR, Part 4 VARCHAR, Verb meaning VARCHAR) CREATE TABLE world_championship_group_b_norway (world_championship_group_b_norway_id AUTO_INCREMENT PRIMARY KEY, Games INT, Drawn INT, Lost INT, Points difference VARCHAR, Points INT) CREATE TABLE hockey_canada (hockey_canada_id AUTO_INCREMENT PRIMARY KEY, Event VARCHAR, Games played INT, Goals INT, Assists INT, Points INT) CREATE TABLE lpga_major_championship (lpga_major_championship_id AUTO_INCREMENT PRIMARY KEY, Year INT, Dates VARCHAR, Venue VARCHAR, Champion VARCHAR, Country VARCHAR, Score INT, To par VARCHAR, Margin of victory VARCHAR, Runner(s)-up VARCHAR, Purse ( $ ) INT, Winner's share ($) INT)  
SELECT COUNT Division FROM 2013 WHERE Location = Verona, USA