Iran's Islamic Revolutionary Guard Corps (IRGC) navy laid more mines in the Strait of Hormuz this week, according to a US official and a source cited by Axios