"Craft id" is not globally unique, it's only unique to the craft type

"Craft id" is not globally unique, it's only unique to the craft type: use the craft object itself to identify who shot down an UFO