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 dos oficiais de inteligência envolvidos na Operação Red Lotus?
 ###Tabelas: 
CREATE TABLE IntelligenceOfficers (ID INT, Name TEXT, Operation TEXT); INSERT INTO IntelligenceOfficers (ID, Name, Operation) VALUES (1, 'Alice', 'Red Lotus'), (2, 'Bob', 'Blue Tide'), (3, 'Charlie', 'Red Lotus');
SELECT Name FROM IntelligenceOfficers WHERE Operation = 'Red Lotus';