My recollection of the definition of "choken" is a bit different from Jim's.

I haven't gone back into the prior editions of the club magazine, but as I recall the word "choken" was coined by Janice O'Neal around the time that Chipco and others were producing colored tokens for the new Colorado casinos and others. (Yes, choken is a hybrid of chip/token, but it referred to the colored tokens that were so distinct from the all silver-color or brass-color metal slot tokens we were so familiar with.)

As an example, the Gilpin colored token described as enameled. This pic from the MOGH Chip Guide:

Others, made by NCM (?) had the colored center with a metal rim, like the one you show from the cruise ship.

FYI, it is also true that there was an early experiment by Harrah's in Reno or Tahoe, using an actual $5 small-crown clay chip with a metal ring molded around it. To be used in higher $5 slot machines. See TCR #N6600 under Harrah's Reno/Tahoe. However, the chip/token jammed or didn't wear well, and it was pulled from use. It's fairly rare -- an N value in TCR, but I haven't seen one for sale in quite some time.

One more bit of (unrelated) chip trivia -- Janice also coined a term describing the haul of chips you returned with after a successful shopping spree at the annual convention, or otherwise: Chipalanche (= an avalanche of chips).