Statistics for Pre-modern Sri Lankan ships