T.Y.
All foreign taxes paid by US corporations including oil companies are deducted as credits from US taxes payable, dollar for dollar. The "royalties" paid by US oil companies were (during my working years) considered taxes by IRS and were therefore deducted from US taxes payable.