A river diversion of Colorado River in relation to Imperial Valley, California