What do you call a baby seal?

We call baby seals pups.