Guerra civil (1972)