intervención militar extranjera