Cureus | Symptomatic Gastric Diverticulum in the Antrum: A Case Report