Did It Really Help to be a Japanese Colony? East Asian Economic Performance in Historical Perspective