If it came out of what was Czechoslovakia, it might be one that was left in, and surplussed out of, Vietnam.