I'm not sure the details but it's possible to get an international vaccination yellow card similar to the International WHO booklet. I've seen one and it was official stamped"chopped".