Mars's gravitational pull may be strong enough to stir Earth's oceans