Thrombus Formation in the Pulmonary Vein Stump after Left Upper Lobectomy: A Report of Four Cases | Synapse