Management of Patients With a Patent Foramen Ovale With History of Stroke or TIA.