Z86.711: Personal history of pulmonary embolism