It is the president's decision to make and he will decide...
It is the president's decision to make and he will decide when it is appropriate to let the American people know he has made it.
It is the president's decision to make and he will decide when it is appropriate to let the American people know he has made it.