Maybe you could write her nickname on with a Sharpie? There is usually space enough you could do this, especially with a fine tip pen. I do think they need her formal name on the card to match how she is booked - for the manifest, for the kids' club, for check-in and reboarding in ports, etc. and therefore will not reprint it with a different name (especially one that wouldn't connect back to the given name).