Minerrs at Mascot Mine during the war years, 1940-45