America's First Clash with Iran: The Tanker War, 1987&ndash;88