If Christie decides to run for president, should he step down as governor?