Would Trump really bomb Iran?