Martin's Axiom Implies $\operatorname{cov}(\mathcal M)=\mathfrak c$