อยากทราบว่าในสมัยที่ไทยมีปัญหาชายแดนกระทบกระทั่งกับเวียดนาม เคยมีการประทะด้วยกองกำลังรถถังหรือไม่ และผลเป็นอย่างไร