CREATE TABLE table_23253 ("School" TEXT, "Baseball stadium" TEXT, "Softball stadium" TEXT, "Basketball arena" TEXT, "Capacity" TEXT)

What is the name of the softball stadium for the school that has Eastern Baseball Stadium?
SELECT "Softball stadium" FROM table_23253 WHERE "Baseball stadium" = 'Eastern Baseball Stadium'
SELECT "Softball stadium" FROM "table_23253" WHERE "Baseball stadium" = 'Eastern Baseball Stadium'