"Happy Hollow--Kiddies' Park Name" Article
An article revealing that Gary Shipman submitted the chosen name for the new children's park, Happy Hollow.
California Room, San Jose Public Library