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: Quais são os nomes de todas as vítimas que receberam serviços de justiça restaurativa no Colorado?
 ###Tabelas: 
CREATE TABLE victims (id INT, name TEXT, state TEXT); CREATE TABLE restorative_justice_services (id INT, victim_id INT, service_type TEXT); INSERT INTO victims (id, name, state) VALUES (1, 'Olivia Johnson', 'Colorado'); INSERT INTO victims (id, name, state) VALUES (2, 'Daniel Lee', 'Colorado'); INSERT INTO restorative_justice_services (id, victim_id, service_type) VALUES (1, 1, 'Victim-Offender Mediation'); INSERT INTO restorative_justice_services (id, victim_id, service_type) VALUES (2, 2, 'Restorative Circles');
SELECT name  FROM victims  JOIN restorative_justice_services ON victims.id = restorative_justice_services.victim_id WHERE state = 'Colorado'