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: Encontre o número de funcionários por departamento no departamento de Operações de Mineração.
 ###Tabelas: 
CREATE TABLE Departments (id INT, name VARCHAR(255), department VARCHAR(255)); INSERT INTO Departments (id, name, department) VALUES (1, 'John Doe', 'Mining Operations'), (2, 'Jane Smith', 'Mining Operations'), (3, 'Mike Johnson', 'IT'), (4, 'Sara Clark', 'HR');
SELECT department, COUNT(*) as num_employees FROM Departments WHERE department = 'Mining Operations' GROUP BY department;