Digital maps of fisheries of Kenya 2023