Question: What is the smallest diameter for Eirene Tholus?
SQL: SELECT MIN(diameter__km_) FROM table_name_97 WHERE name = "eirene tholus"