U.S. forces destroyed five IRGC-linked oil tankers Tuesday after Iran twice targeted an American warship with ballistic missiles, carrying out Washington’s warning that continued attacks on the U.S. Navy would exact an increasingly steep price on Tehran’s oil fleet.