A friend just returned from a cruise to the Panama Canal and brought me these. Are these what are known as chokens?