an establishment where dolphins are trained to perform in public in a large pool [modelled on words such as oceanarium and aquarium]