Strait of Hormuz shipping resumes after 80 mines cleared