The number of ships damaged is much greater than that of ships
destroyed. Some are certainly no longer available and represent a dead
loss. It is impossible to determine the cost of the repair of the
others, but one cannot be far from the truth in estimating under this
head almost a third of what comes under the head of total destruction,
or about 200 million, which, added to the first total, makes about 800
millions.