20201117 world.us.us-presidential-elections: Trump asked for options for attacking Iran last week; but held off -source