a hole in the ground to provide cover in times of war