What species of pinniped is kept here? TBH, I doubt if the penguins enjoy the experience - this combination is a tried and tested way of getting them killed.
Harbor seals. And it works just fine since almoast 7 years. No problem between the animals.
Augsburg had a similar mix when they redid their sealpool, also no problems. Seelions and furseals would kill penguins, Harbor seals don't.