The pen-and-paper game Battleship gets another digital translation, which pits man against machine for a round of grid-based marine warfare. Both sides get five ships each - of varying sizes - and ...