Pleasingly, I just noticed from the park's website that these are indeed Pacific Common Seals (P. v. richardsi). I'm sure I've seen these before the Seaquarium (at two SeaWorlds) but never got any confirmation - these were therefore my first 'official' ones.
