Thrombus formation on an atrial septal defect closure device: a case report and review of the literature.