Kenyans are mourning the death of a beloved "super tusker" elephant named Craig