Saudis seek to boost Hormuz oil exports as key pipeline attacked.