White House says Iran halted 800 executions after Trump warnings