Should the U.S. military take direct action against Iranian boats allegedly mining the Strait of Hormuz?