Prevalence of patent foramen ovale in atrial fibrillation patients with history of cerebral ischemia: a stand-alone additional risk?