Fact Brief: Is San Jose’s downtown plaza the city’s oldest public space?