Dallas Zoo officials still puzzled over lion's violent death