Article Photos: Public to choose name for elephant born at Oklahoma City Zoo 9/31