Iran has begun laying mines in the Strait of Hormuz, the world’s most important energy chokepoint that carries about one-fifth of all crude oil, according to two people familiar with US intelligence reporting on the issue.