What is the likely time scale of ocean recycling into the mantle?