On a Tuesday in October, a Panama-flagged tanker was crossing the Strait of Hormuz when an unidentified projectile struck it.