20190716 business.india-business: Exports shrink 1st time in 9 months