حضور نیروی دریایی ارتش در دریای سرخ