Until Monday there was little argument about the holder of the coveted title of shortest leader in the world: at 162cm, or a shade over five feet three inches, Kim Jong-il,…