Long-run effects of early childhood exposure to cholera on final height: Evidence from industrializing Japan. (April 2018)