Tiny krill appear to mix up the ocean