Distal pancreatectomy and splenectomy for pancreatic tail carcinoma