Computer Programming of Kriegspiel Endings: the case of KR vs K