It follows more reported attacks in the Strait of Hormuz.