España enviará tropa al Mar Rojo