Elephants in the Serengeti National Park: an early record