And US divers.
Yes, but we don't know what role they played. Will be interesting to hear the full story.