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.