US officials says Iran has laid less than 10 mines in the Strait of Hormuz and it is unclear if it intends to lay more in the near term, according to WSJ