Elephant dug-out

Elephant dug-out (and Baby elephant dug-out): A dug-out made with semi-circular lining of heavy corrugated iron. The two names refer to the two sizes issued.