Portal vein gas due to gangrenous cholecystitis treated by a laparoscopic procedure: Report of a case