Top U.S. officials agree options to give Trump for any attacks on Americans in Iraq