The shrinking of the Aral Sea