“President Trump stated that the U.S. has destroyed 158 ships of the Iranian Navy but has not yet targeted its smaller "fast attack ships."”