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 máximo de casos tratados por um único juiz no estado do Texas no ano de 2020?
 ###Tabelas: 
CREATE TABLE cases (case_id INT, judge_id INT, state VARCHAR(20), year INT); INSERT INTO cases (case_id, judge_id, state, year) VALUES (1, 1, 'Texas', 2020), (2, 1, 'Texas', 2020), (3, 2, 'Texas', 2019);
SELECT MAX(count) FROM (SELECT judge_id, COUNT(*) as count FROM cases WHERE state = 'Texas' AND year = 2020 GROUP BY judge_id) as subquery;