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: Atualize o distrito do aluno 'Sofia' para 'HeartSchool' na tabela 'Student'.
 ###Tabelas: 
CREATE TABLE Student (StudentID INT, Name VARCHAR(20), District VARCHAR(20)); INSERT INTO Student (StudentID, Name, District) VALUES (1, 'Sofia', 'MindSchool'); INSERT INTO Student (StudentID, Name, District) VALUES (2, 'Ella', 'HeartSchool');
UPDATE Student SET District = 'HeartSchool' WHERE Name = 'Sofia';