a walrus is a marine mammal.