Anchovies stirring up the sea may be influencing ocean mixing