If you feasibly want to move it, it would have to be a <i>very</i> large boulder. You would have to plan your redirect years in advance.<p>For anything a martian colony could realistically move in a shorter timescale, even if it hit Manhattan, it might kill a few thousand people.<p>A much smaller boulder dropped into the Martian gravity well would kill the entire colony.