The U.S. military struck Iranian military targets to prevent the deployment of sea mines in the Strait of Hormuz, a U.S. official said. Why it matters: This is the first known U.S. strike in Iran since late July when President Trump paused a two-week U.S. military campaign in the strait in late July