how many miles of canals are operated by the district that supplies a county named for a mexican-american war hero ?
380