Giant esophageal diverticulum with stenosis treated with mediastinoscopic esophagectomy: A case report. (2020)