. . . . "Marine park established in 1955, offering shows and participatory programs concerned with marine biology, the oceans, and animals such as killer whales and dolphins." . . .