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