On the dynamic coloring of Cartesian product graphs