I would go with CVX. Reading that gave me a headache. It may not matter since you can get credit for the foreign tax paid and match the rest if domestic is higher