Six Flags Discovery Kingdom

A theme park in Vallejo, California mentioned in Dan's write-up of a visit there in August of 2008, operated by Six Flags.