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 a tabela 'employee_details' e defina o 'safety_training_status' como 'completado' para todos os funcionários no departamento 'mining'.
 ###Tabelas: 
CREATE TABLE employee_details (id INT, name VARCHAR(50), department VARCHAR(20), safety_training_status VARCHAR(20));
UPDATE employee_details SET safety_training_status = 'completed' WHERE department = 'mining';