All tagged sea lampreys