A river diversion on the delta of the Colorado in relation to Imperial Valley, California