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