Trump says ground troops in Iran not 'necessary,' but does not rule them out