Korps Marinir Indonesia dalam operasi penumpasan PRRI di Air Gadang, Pasaman.