Why can’t the U.S. just take over the Strait of Hormuz?