Distinguishing colorings of Cartesian products of complete graphs