Should the city turn the parking lot at 17th and Folsom into a park?