بزرگترین نبرد دریایی آمریکا پس از جنگ جهانی دوم در دریای سرخ