A dolphin is any of  various marine mammals.