Should patients with mitral stenosis and atrial fibrillation receive combined antithrombotic therapy?