भारत–चीन सीमा क्षेत्र लद्दाखमा हिंसक झडप, २० जना भारतीय सैनिकको मृत्यु