Algebraic K-theory and the conjectural Leibniz K-theory