Militarisation de la mer Rouge