What is the smallest diameter for Eirene Tholus?
CREATE TABLE table_45119 (
    "Name" text,
    "Latitude" text,
    "Longitude" text,
    "Diameter (km)" real,
    "Year named" text
)
SELECT MIN("Diameter (km)") FROM table_45119 WHERE "Name" = 'eirene tholus'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the smallest diameter for Eirene Tholus? ### Input: CREATE TABLE table_45119 (
    "Name" text,
    "Latitude" text,
    "Longitude" text,
    "Diameter (km)" real,
    "Year named" text
) ### Response: SELECT MIN("Diameter (km)") FROM table_45119 WHERE "Name" = 'eirene tholus'