MINES, MILITARY. See SAPPING AND MINING.