Section of canal above San Miguel Tlaixpan