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