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 número total de veículos autônomos vendidos na Coreia do Sul em 2020?
 ###Tabelas: 
CREATE TABLE AutonomousSales (Id INT, Vehicle VARCHAR(100), Year INT, Country VARCHAR(50), IsAutonomous BOOLEAN); INSERT INTO AutonomousSales (Id, Vehicle, Year, Country, IsAutonomous) VALUES (1, 'Model S', 2020, 'South Korea', true), (2, 'Model 3', 2020, 'South Korea', true), (3, 'Golf', 2020, 'South Korea', false), (4, 'Polo', 2020, 'South Korea', false), (5, 'Tesla Model X', 2020, 'South Korea', true);
SELECT COUNT(*) FROM AutonomousSales WHERE Year = 2020 AND Country = 'South Korea' AND IsAutonomous = true