“Iran believes it has a right to control traffic through the Gulf, potentially by charging tolls for ships on a politically discriminatory basis.”