WSJ on a U.S. military official: We use both manned and unmanned means to clear mines in the Strait of Hormuz