Thrombus formation in the pulmonary vein stump after left upper lobectomy: a report of four cases.