A dolphinarium is an aquarium for dolphins.