Did Trump ignore Gulf warnings ahead of Iran war?