As WD40 was only introduced in 1953 it seems hard to imagine the average WWII Marine was a time traveler...
I could be wrong, perhaps an inferior predecessor?
Or perhaps the WD40 was applied in the 50s to the stored guns?
Let me amend this statement. Obviously I was wrong. Still, that layer of old lube turned into a sticky mess.