Text this: Prevalence of patent foramen ovale in atrial fibrillation patients with history of cerebral ischemia