U.S. military escorts tankers through Strait of Hormuz