Looks like you're right FG. No sign of it now though.
'In 1979, the penguin pool and enclosure were demolished. The salt water in the pool had reacted with the steel reinforcement in the building’s concrete, causing extensive corrosion'.
I'm not sure what year they were listed but they were awarded World Monument status in 2009, if that's significant.