A tectonic origin for the largest marsquake observed by InSight