Bonhams Gets $463,500, World Record Price, For Rare WWII Enigma Machine