African elephants in Tsavo East National Park, Kenya