att gifva samma namn åt flera fartyg.