U.S. military says it destroyed 5 Iranian oil tankers after attacks on Navy warship