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