A nonexistence certificate for projective planes of order ten with weight 15 codewords