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 é a pontuação máxima de saúde mental dos alunos no 'Inverno de 2023' por distrito escolar?
 ###Tabelas: 
CREATE TABLE student_mental_health (student_id INT, mental_health_score INT, school_district VARCHAR(255), date DATE); INSERT INTO student_mental_health (student_id, mental_health_score, school_district, date) VALUES (1, 75, 'ABC School District', '2023-02-01'); CREATE VIEW winter_2023_smh AS SELECT * FROM student_mental_health WHERE date BETWEEN '2023-01-01' AND '2023-03-31';
SELECT MAX(mental_health_score) as max_mental_health, school_district FROM winter_2023_smh GROUP BY school_district;