intervenção militar internacional