Including the evacuation of the Eisenhower… American measures in the Red Sea