Kondo effect and Josephson current through a quantum dot between two superconductors