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 cidade tem a maior alocação de orçamento para segurança pública em 2023?
 ###Tabelas: 
CREATE TABLE CityBudget (City TEXT, Year INT, Allocation FLOAT); INSERT INTO CityBudget (City, Year, Allocation) VALUES ('NYC', 2023, 2000000), ('Chicago', 2023, 1800000), ('LA', 2023, 2200000);
SELECT City, MAX(Allocation) FROM CityBudget WHERE Year = 2023 AND Service = 'Public Safety' GROUP BY City HAVING MAX(Allocation);