FWIW, the crew was 10 men, 4 escaped. I read last night that there are usually 12 on per shift.
Do you know if that’s (10) the total that were below ground when this happended?