If mars had earthquakes, shouldn't they be called mars-quakes?