Mines (Military explosives) (International law).