elevation of Agra Canal, Coachella canal