20020725 business.india-business: Indian Oil to sell diesel; jet fuel to Lanka