Question: What is the smallest diameter for Eirene Tholus?
SQL: SELECT MIN Diameter (km) FROM table WHERE Name = eirene tholus