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 é o máximo de compensação de carbono alcançado por projetos de cidades inteligentes na Coreia do Sul em 2018?
 ###Tabelas: 
CREATE TABLE smart_city_projects (id INT, project_name VARCHAR(100), carbon_offset FLOAT, year INT, country VARCHAR(50)); INSERT INTO smart_city_projects (id, project_name, carbon_offset, year, country) VALUES (1, 'Smart Grid', 10000, 2015, 'Japan'), (2, 'Smart Transportation', 15000, 2017, 'South Korea'), (3, 'Smart Waste Management', 13000, 2019, 'Canada'), (4, 'Smart Lighting', 9000, 2018, 'South Korea');
SELECT MAX(carbon_offset) FROM smart_city_projects WHERE year = 2018 AND country = 'South Korea';