Does percutaneous PFO closure with the Amplatzer PFO Occluder reduce the risk of stroke, vascular death, or Thrombolysis In Myocardial Infarction-defined major bleeding compared to medical therapy in patients with cryptogenic stroke and high-risk PFO?