Rivaroxaban in patients with heart failure, sinus rhythm, and coronary disease