Crew members work during take off operations on the deck of the USS Dwight D. Eisenhower in the Red Sea on Tuesday, June 11, 2024. (AP Photo/Bernat Armangue)
A crew member checks a helicopter in the hangar bay of the USS Dwight D. Eisenhower in the Red Sea on Tuesday, June 11, 2024.(AP Photo/Bernat Armangue)
FILE - Drawings of drones and missiles that have been shot down are painted on the fuselage of a fighter jet stationed on the USS Dwight D. Eisenhower in the Red Sea on Tuesday, June 11, 2024. (AP Photo/Bernat Armangue, File)
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)
The Theodore Roosevelt (CVN 71), a nuclear-powered aircraft carrier, is anchored in Busan, South Korea, Saturday, June 22, 2024. (Song Kyung-Seok/Pool Photo via AP)
The Theodore Roosevelt (CVN 71), a nuclear-powered aircraft carrier is anchored in Busan, South Korea, Saturday, June 22, 2024. (Song Kyung-Seok/Pool Photo via AP)
The Theodore Roosevelt (CVN 71), a nuclear-powered aircraft carrier is anchored in Busan, South Korea, Saturday, June 22, 2024. (Song Kyung-Seok/Pool Photo via AP)