On the size of the Antarctic Circumpolar Current