Lost Gulf oil exports far smaller than thought, traders and shippers say