do oceans mix or stay separate