They may remember it with different names — Marine World Theme Park, Africa USA, Discovery Kingdom, Six Flags — or in different locations, as it moved from the Peninsula to Vallejo in the 1980s.

The first Marine World, a small zoo, opened in Redwood City in 1968. In the mid-'70s, when Lucas would have needed to utilize Mardji, the zoo merged with another, called Africa USA. The park then ...