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 total de espaçonaves operacionais em órbita ao redor de Marte?
 ###Tabelas: 
CREATE TABLE mars_spacecraft (id INT, name VARCHAR(255), type VARCHAR(255), operational BOOLEAN, launch_date DATE); INSERT INTO mars_spacecraft (id, name, type, operational, launch_date) VALUES (1, 'Curiosity Rover', 'Rover', true, '2012-11-26'); INSERT INTO mars_spacecraft (id, name, type, operational, launch_date) VALUES (2, 'Perseverance Rover', 'Rover', true, '2020-07-30'); INSERT INTO mars_spacecraft (id, name, type, operational, launch_date) VALUES (3, 'InSight Lander', 'Lander', false, '2018-05-05');
SELECT COUNT(*) FROM mars_spacecraft WHERE operational = true;