Kenya: Baby elephant gets stuck in a water trough; rescue op