When they put Obama's portrait on the dollar bill will they still use green ink?