Johnson hole

noun1

1. •
   (slang, historical) A large shell crater during the First World War.

   • And to his immediate front, below the shelving ramp, a circular calm water graced the deep of a Johnson hole […] — 1937