Iran har begynt å legge miner i Hormuzstredet, verdens viktigste energiflaskehals som inneholder omtrent en femtedel av all råolje, ifølge to personer med kjennskap til amerikansk etterretning som rapporterer om saken.