Secondary stroke prevention in patients with patent foramen ovale