First Shooting Since July: U.S. Kills Several IRGC Preparing to Lay Mines in Strait; IRGC Fires at Jordan in Response