at Castle Rock State Park, near Los Gatos