20130824 world.pakistan: Iran-Pakistan gas pipeline could be extended to China