Le porte-avions USS Ford et deux destroyers entrent en mer Rouge