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