How will Gov. Christie greet President Obama?