FILE – The USS aircraft carrier Dwight D. Eisenhower, also known as ‘IKE’, sails in the Red Sea …

FILE – The USS aircraft carrier Dwight D. Eisenhower, also known as ‘IKE’, sails in the Red Sea on Wednesday, June 12, 2024. (AP Photo/Bernat Armangue, File)