“The United States has a policy to interdict any tankers on the high seas that have visited Iranian ports, carry Iranian crew, or have paid Iran's transit toll.”