Anticoagulation and the cardioversion of atrial flutter