More on the Chinese effort to build a new “Panama Canal” through Nicaragua