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 mais pequeno para Eirene Tholus?
 ###Tabelas: CREATE TABLE tholi (tholi_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Latitude VARCHAR, Longitude VARCHAR, Diameter (km) INT, Year named VARCHAR) CREATE TABLE 2000:_indiana_fever_miami_sol_portland_fire_seattle_storm (2000:_indiana_fever_miami_sol_portland_fire_seattle_storm_id AUTO_INCREMENT PRIMARY KEY, Pick INT, Player VARCHAR, Nationality VARCHAR, New WNBA Team VARCHAR, Former WNBA Team VARCHAR, College/Country/Team VARCHAR) CREATE TABLE doubles:_11_1–10 (doubles:_11_1–10_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Date VARCHAR, Surface VARCHAR, Partner VARCHAR, Opponents VARCHAR, Score VARCHAR) CREATE TABLE personal_records (personal_records_id AUTO_INCREMENT PRIMARY KEY, Distance VARCHAR, Time VARCHAR, Date VARCHAR, Location VARCHAR, Notes VARCHAR) CREATE TABLE greatest_hits___best_of___compilations (greatest_hits___best_of___compilations_id AUTO_INCREMENT PRIMARY KEY, Title VARCHAR, Label VARCHAR, Year of Release INT, Country of Release VARCHAR, Peaches: VARCHAR)  
SELECT MIN Diameter (km) FROM tholi WHERE Name = eirene tholus