For John Howard to throw his hat into the Republican primaries?