Intervención militar extranjera