Antarctic sea ice trends at record highs. Fears for shrinking southern ocean, right?