If Mars had earthquakes would they be called marsquakes?