Trump: We hit, to the best of our knowledge, all of their mine-laying ships. Now they can put them on other types of ships, I guess, and drop them in. But we don’t know that any even have been dropped in, we’re not sure any have been.