Operasi militer yang berhasil mengamankan daerah sumatera selatan dari gerakan prri dikenal dengan operasi