Huru många de skepp i verkligheten voro,