Comparing Two PFO Closure Devices in Adults With Previous Stroke or TIA | NCT07380490 | Trialant