Royal Air Force used ballpoint pens during WW2.
https://www.smithsonianmag.com/air-space-magazine/ballpoint-pens-RAF-180955537/
No. RAF aircrews used ballpoints, plenty of them were shot down over Europe and Holland. There is a possibility that one of those men handed his pen to someone and it eventually ended up in her possession. Pure speculation but quite likely.