Actually, I think it was more like 300,000 troops rescued at Dunkirk, IIRC.