Death caused by cervical spine trauma from a car accident, secondary to ventricular arrhythmia recorded by implantable cardioverter-defibrillator