A role for thrombomodulin in the pathogenesis of thrombin-induced thromboembolism in mice | Synapse