Här är vad vi vet om Hormuzsundet och USA:s ansträngningar att förhindra att Iran lägger minor i den kritiska vattenvägen.