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