A quake on Mars showed its crust is thicker than Earth’s