Trump asked for options for attacking Iran last week, but held off: source