text: The closer tag I've found is 
  landuse=military
  military=danger_area 
  
  It seems that
  military=mine_field
  is discussed in the wiki's but not actually approved, nor used in the planet: see taginfo at
  https://taginfo.openstreetmap.org/keys/military#values
  
  Besides there's the licensing issue: we cannot reuse the CROMAC data, but local mappers couldd help a lot, placing notes or mapping with OSM tools.