Design optimization of the 2 K heat exchanger for the superfluid helium cryogenic systems at KEK. (October 2020)