Does the marine biosphere mix the ocean?