Cureus | Development of a Gastight Thoracotomy Model for Investigation of Carbon Dioxide Field-Flooding Efficacy