What is the value of the neutron electric dipole moment in the Kobayashi-Maskawa model?