royal engineers ww2 records