seal—a marine mammal with flippers that lives in the sea and comes onto land