Mahadi River diversion