Iran to dump the US dollar in response to Trump’s travel ban