The US said Iran halted the planned execution of 800 protesters after pressure from President Donald Trump, even as Washington warned that military options remain open if executions resume.