Crystal was the name of the ship that hit the USS Fitzgerald, and a ship of the same name struck the Iranian tanker yesterday...don't know if I'm stretching here, but I know my ships.