Trump eyes executive order to punish arms trade with Iran