U.S. military boards Iranian tanker in Gulf of Oman