هزینه ۳ میلیارد دلاری کارزار نظامی آمریکا در دریای سرخ