Do we know approximately how many Garands were manufactured by the four US factories?