Non-vitamin K antagonist oral anticoagulants in atrial fibrillation accompanying mitral stenosis: the concept for a trial | Synapse