White House says Trump keeps ground troops option on table in Iran campaign