The story of Everett Antrim and how an old quarry pit becomes one of Columbus’ most beloved parks in 1978.