Vallecito Dam diversion channel