Post-traumatic Stress Disorder and Comorbid Psychotic Disorder: Electroconvulsive Therapy Response in Two Patients