Definition:

demilitarized