mine <ship> <count>
    Drop mines from a destroyer. When ships move into a mined sector, they
    may hit them, doing damage. When a minesweeper moves into a mined
    sector, it can remove up to 5 mines.
    Subs do not hit mines.
    The chances of a ship hitting a mine is 4 * <the number of mines>.
Doc: ships, war
Help: navigate
