Antithrombotic treatment for the prevention of ischemic stroke in patients with heart failure and sinus rhythm