battleship coded in turing