how many mammals live in the ocean