Topological product of modal logics with the McKinsey axiom