a dolphin is a marine mammal.