SCHEMA:
CREATE TABLE table_name_97 (diameter__km_ INTEGER, name VARCHAR)
USER:
What is the smallest diameter for Eirene Tholus?

QUERY:
SELECT MIN(diameter__km_) FROM table_name_97 WHERE name = "eirene tholus"