Oh and i've heard that snake called a speckled king, florida king, and now a desert king, anyone know which one is the actual name?