Colombian army patrols after FARC attack