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 diâmetro equatorial do corpo: Marte?
 ###Tabelas: CREATE TABLE other_celestial_bodies (other_celestial_bodies_id AUTO_INCREMENT PRIMARY KEY, Body VARCHAR, Equatorial diameter VARCHAR, Polar diameter VARCHAR, Equatorial bulge VARCHAR, Flattening ratio VARCHAR) CREATE TABLE dvb-t (dvb-t_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Owner VARCHAR, Programming VARCHAR, Type VARCHAR, Encryption VARCHAR) CREATE TABLE atp_doubles_finals:_13_6–7 (atp_doubles_finals:_13_6–7_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Partnering VARCHAR, Opponents in the final VARCHAR, Score VARCHAR) CREATE TABLE singles:_13_7–6 (singles:_13_7–6_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Opponent VARCHAR, Score VARCHAR) CREATE TABLE most_points (most_points_id AUTO_INCREMENT PRIMARY KEY, Player VARCHAR, Span VARCHAR, Start INT, Tries INT, Conv INT, Pens INT, Drop INT)  
SELECT Equatorial diameter FROM other_celestial_bodies WHERE Body = mars