The U.S. destroyed three Iranian tankers three days earlier.