On the consistency strength of ${\sf MM}(\omega_1)$

Published in To appear in _Proceedings of the American Mathematical Society_, 2023